Mercurial > cpdt > repo
comparison latex/cpdt.bib @ 360:e0d91bcf70ec
Pass through old content of Reflection
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 02 Nov 2011 14:48:25 -0400 |
parents | 6cc9a3bbc2c6 |
children | 2fbb47fb02bd |
comparison
equal
deleted
inserted
replaced
359:059c51227e69 | 360:e0d91bcf70ec |
---|---|
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 | |
306 @inproceedings{reflection, | |
307 author = {Boutin, Samuel}, | |
308 title = {Using reflection to build efficient and certified decision procedures}, | |
309 booktitle = {Proceedings of the Third International Symposium on Theoretical Aspects of Computer Software}, | |
310 year = {1997}, | |
311 } |