Mercurial > cpdt > repo
comparison latex/cpdt.bib @ 312:495153a41819
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 } |