equal
deleted
inserted
replaced
16 booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)}, |
16 booktitle = {Proc.~of the 23rd International Conference on Compiler Construction (CC)}, |
17 pages = {174--191}, |
17 pages = {174--191}, |
18 year = {2014}, |
18 year = {2014}, |
19 volume = {8409}, |
19 volume = {8409}, |
20 series = {LNCS} |
20 series = {LNCS} |
|
21 } |
|
22 |
|
23 @book{Pierce2015, |
|
24 author = {B.~C.~Pierce and C.~Casinghino and M.~Gaboardi and |
|
25 M.~Greenberg and C.~Hri\c{t}cu and |
|
26 V.~Sjoberg and B.~Yorgey}, |
|
27 title = {{S}oftware {F}oundations}, |
|
28 year = {2015}, |
|
29 publisher = {Electronic textbook}, |
|
30 note = {\url{http://www.cis.upenn.edu/~bcpierce/sf}} |
21 } |
31 } |
22 |
32 |
23 @Misc{Kuklewicz, |
33 @Misc{Kuklewicz, |
24 author = {C.~Kuklewicz}, |
34 author = {C.~Kuklewicz}, |
25 title = {{R}egex {P}osix}, |
35 title = {{R}egex {P}osix}, |