Mercurial > cpdt > repo

diff latex/cpdt.bib @ 316:2aaff91f5258

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through InductiveTypes, through end of reflexive types
author Adam Chlipala <adam@chlipala.net>
date Sun, 11 Sep 2011 17:22:36 -0400
parents 72bffb046797
children 50db9a6e2742
line wrap: on
line diff
--- a/latex/cpdt.bib	Sun Sep 11 16:26:48 2011 -0400
+++ b/latex/cpdt.bib	Sun Sep 11 17:22:36 2011 -0400
@@ -156,3 +156,11 @@
   year = {1980},
   note = {Original paper manuscript from 1969}
 }
+
+@inproceedings{HOAS,
+ author = {Pfenning, F. and Elliot, C.},
+ title = {Higher-order abstract syntax},
+ booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
+ year = {1988},
+ pages = {199--208},
+}