Mercurial > cpdt > repo

comparison 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
comparison
equal deleted inserted replaced
315:72bffb046797 316:2aaff91f5258
154 publisher = {Academic Press}, 154 publisher = {Academic Press},
155 pages = {479--490}, 155 pages = {479--490},
156 year = {1980}, 156 year = {1980},
157 note = {Original paper manuscript from 1969} 157 note = {Original paper manuscript from 1969}
158 } 158 }
159
160 @inproceedings{HOAS,
161 author = {Pfenning, F. and Elliot, C.},
162 title = {Higher-order abstract syntax},
163 booktitle = {Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation},
164 year = {1988},
165 pages = {199--208},
166 }