Paper/document/root.bib
changeset 2341 f659ce282610
parent 2218 502eaa199726
child 2342 f296ef291ca9
--- 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}
 }