equal
deleted
inserted
replaced
80 } |
80 } |
81 |
81 |
82 @Unpublished{Pitts04, |
82 @Unpublished{Pitts04, |
83 author = {A.~Pitts}, |
83 author = {A.~Pitts}, |
84 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
84 title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, |
85 note = {Notes for an invited talk given at CTCS}, |
85 note = {Unpublished notes for an invited talk given at CTCS}, |
86 year = {2004} |
86 year = {2004} |
87 } |
87 } |
88 |
88 |
89 @incollection{UrbanNipkow09, |
89 @incollection{UrbanNipkow09, |
90 author = {C.~Urban and T.~Nipkow}, |
90 author = {C.~Urban and T.~Nipkow}, |
150 } |
150 } |
151 |
151 |
152 @Unpublished{SewellBestiary, |
152 @Unpublished{SewellBestiary, |
153 author = {P.~Sewell}, |
153 author = {P.~Sewell}, |
154 title = {{A} {B}inding {B}estiary}, |
154 title = {{A} {B}inding {B}estiary}, |
155 note = {Personal communication.} |
155 note = {Unpublished notes.} |
156 } |
156 } |
157 |
157 |
158 @InProceedings{challenge05, |
158 @InProceedings{challenge05, |
159 author = {B.~E.~Aydemir and A.~Bohannon and M.~Fairbairn and |
159 author = {B.~E.~Aydemir and A.~Bohannon and M.~Fairbairn and |
160 J.~N.~Foster and B.~C.~Pierce and P.~Sewell and |
160 J.~N.~Foster and B.~C.~Pierce and P.~Sewell and |
226 |
226 |
227 @inproceedings{TobinHochstadtFelleisen08, |
227 @inproceedings{TobinHochstadtFelleisen08, |
228 author = {S.~Tobin-Hochstadt and M.~Felleisen}, |
228 author = {S.~Tobin-Hochstadt and M.~Felleisen}, |
229 booktitle = {Proc.~of the 35rd POPL Symposium}, |
229 booktitle = {Proc.~of the 35rd POPL Symposium}, |
230 title = {{T}he {D}esign and {I}mplementation of {T}yped {S}cheme}, |
230 title = {{T}he {D}esign and {I}mplementation of {T}yped {S}cheme}, |
231 publisher = {ACM}, |
|
232 year = {2008}, |
231 year = {2008}, |
233 pages = {395--406} |
232 pages = {395--406} |
234 } |
233 } |
235 |
234 |
236 @InProceedings{UrbanCheneyBerghofer08, |
235 @InProceedings{UrbanCheneyBerghofer08, |