Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 358:6cc9a3bbc2c6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass over Generic
author Adam Chlipala <adam@chlipala.net>
date Mon, 31 Oct 2011 14:24:16 -0400
parents 50e1d338728c
children e0d91bcf70ec
comparison
equal deleted inserted replaced
357:b01c7b3122cc 358:6cc9a3bbc2c6
284 booktitle = {Proceedings of the {ACM} Workshop Programming 284 booktitle = {Proceedings of the {ACM} Workshop Programming
285 Languages meets Program Verification}, 285 Languages meets Program Verification},
286 pages = {11--20}, 286 pages = {11--20},
287 year = {2007}, 287 year = {2007},
288 } 288 }
289
290 @inproceedings{modules,
291 author = {MacQueen, David},
292 title = {Modules for {Standard ML}},
293 booktitle = {Proceedings of the 1984 ACM Symposium on LISP and Functional Programming},
294 year = {1984},
295 pages = {198--207},
296 }
297
298 @inproceedings{typeclasses,
299 author = {Wadler, P. and Blott, S.},
300 title = {How to make ad-hoc polymorphism less ad hoc},
301 booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
302 year = {1989},
303 pages = {60--76},
304 }