Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 464:e53d051681b0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finish complete proofreading pass
author Adam Chlipala <adam@chlipala.net>
date Wed, 29 Aug 2012 17:17:17 -0400
parents 92f386c33e94
children fd6ec9b2dccb
comparison
equal deleted inserted replaced
463:218361342cd2 464:e53d051681b0
15 @Article{AMD, 15 @Article{AMD,
16 author = {J Strother Moore and Tom Lynch and Matt Kaufmann}, 16 author = {J Strother Moore and Tom Lynch and Matt Kaufmann},
17 title = {A Mechanically Checked Proof of the Correctness of the Kernel of the {AMD5k86} Floating-Point Division Algorithm}, 17 title = {A Mechanically Checked Proof of the Correctness of the Kernel of the {AMD5k86} Floating-Point Division Algorithm},
18 journal = {IEEE Transactions on Computers}, 18 journal = {IEEE Transactions on Computers},
19 volume = {47(9)}, 19 volume = {47(9)},
20 pages = {913--926} 20 pages = {913--926},
21 year = {1998} 21 year = {1998}
22 } 22 }
23 23
24 @Book{Piton, 24 @Book{Piton,
25 author={J Strother Moore}, 25 author={J Strother Moore},
160 @inproceedings{HOAS, 160 @inproceedings{HOAS,
161 author = {Pfenning, F. and Elliot, C.}, 161 author = {Pfenning, F. and Elliot, C.},
162 title = {Higher-order abstract syntax}, 162 title = {Higher-order abstract syntax},
163 booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation}, 163 booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
164 year = {1988}, 164 year = {1988},
165 pages = {199--208}, 165 % pages = {199--208},
166 } 166 }
167 167
168 @article{HOU, 168 @article{HOU,
169 author = {G\'erard Huet}, 169 author = {G\'erard Huet},
170 title = {The undecidability of unification in third order logic}, 170 title = {The undecidability of unification in third order logic},
298 @inproceedings{typeclasses, 298 @inproceedings{typeclasses,
299 author = {Wadler, P. and Blott, S.}, 299 author = {Wadler, P. and Blott, S.},
300 title = {How to make ad-hoc polymorphism less ad hoc}, 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}, 301 booktitle = {Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
302 year = {1989}, 302 year = {1989},
303 pages = {60--76}, 303 % pages = {60--76},
304 } 304 }
305 305
306 @inproceedings{reflection, 306 @inproceedings{reflection,
307 author = {Boutin, Samuel}, 307 author = {Boutin, Samuel},
308 title = {Using reflection to build efficient and certified decision procedures}, 308 title = {Using reflection to build efficient and certified decision procedures},