diff -r b1549d391ea7 -r f659ce282610 Paper/document/root.bib --- a/Paper/document/root.bib Tue Jun 29 18:00:59 2010 +0100 +++ b/Paper/document/root.bib Wed Jun 30 16:56:37 2010 +0100 @@ -82,7 +82,7 @@ @Unpublished{Pitts04, author = {A.~Pitts}, title = {{N}otes on the {R}estriction {M}onad for {N}ominal {S}ets and {C}pos}, - note = {Notes for an invited talk given at CTCS}, + note = {Unpublished notes for an invited talk given at CTCS}, year = {2004} } @@ -152,7 +152,7 @@ @Unpublished{SewellBestiary, author = {P.~Sewell}, title = {{A} {B}inding {B}estiary}, - note = {Personal communication.} + note = {Unpublished notes.} } @InProceedings{challenge05, @@ -228,7 +228,6 @@ author = {S.~Tobin-Hochstadt and M.~Felleisen}, booktitle = {Proc.~of the 35rd POPL Symposium}, title = {{T}he {D}esign and {I}mplementation of {T}yped {S}cheme}, - publisher = {ACM}, year = {2008}, pages = {395--406} }