Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 312:495153a41819

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Pass through second half of StackMachine
author Adam Chlipala <adam@chlipala.net>
date Thu, 01 Sep 2011 11:32:15 -0400
parents 4cb3ba8604bc
children 72bffb046797
comparison
equal deleted inserted replaced
311:4cb3ba8604bc 312:495153a41819
127 title = {The {Calculus} of {Constructions}}, 127 title = {The {Calculus} of {Constructions}},
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
133 @article{GADT,
134 author = {Hongwei Xi and Chiyan Chen and Gang Chen},
135 title = {Guarded Recursive Datatype Constructors},
136 booktitle = {Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages},
137 year = {2003}
138 }