Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 315:72bffb046797

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through InductiveTypes, through end of recursive types
author Adam Chlipala <adam@chlipala.net>
date Sun, 11 Sep 2011 16:26:48 -0400
parents 495153a41819
children 2aaff91f5258
comparison
equal deleted inserted replaced
314:d5787b70cf48 315:72bffb046797
128 journal = {Information and Computation}, 128 journal = {Information and Computation},
129 volume = {76(2-3)}, 129 volume = {76(2-3)},
130 year = {1988} 130 year = {1988}
131 } 131 }
132 132
133 @article{GADT, 133 @inproceedings{GADT,
134 author = {Hongwei Xi and Chiyan Chen and Gang Chen}, 134 author = {Hongwei Xi and Chiyan Chen and Gang Chen},
135 title = {Guarded Recursive Datatype Constructors}, 135 title = {Guarded Recursive Datatype Constructors},
136 booktitle = {Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages}, 136 booktitle = {Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages},
137 year = {2003} 137 year = {2003}
138 } 138 }
139
140 @article{Curry,
141 title={Functionality in Combinatory Logic},
142 author = {H. B. Curry},
143 journal = {Proceedings of the National Academy of Sciences of the United States of America},
144 volume = {20(11)},
145 year = {1934},
146 pages = {584--590}
147 }
148
149 @incollection{Howard,
150 author = {Howard, William A.},
151 title = {The formulae-as-types notion of construction},
152 editor = {Seldin, Jonathan P. and Hindley, J. Roger},
153 booktitle = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
154 publisher = {Academic Press},
155 pages = {479--490},
156 year = {1980},
157 note = {Original paper manuscript from 1969}
158 }