Mercurial > cpdt > repo

diff 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
line wrap: on
line diff
--- a/latex/cpdt.bib	Mon Aug 29 15:31:06 2011 -0400
+++ b/latex/cpdt.bib	Thu Sep 01 11:32:15 2011 -0400
@@ -129,3 +129,10 @@
   volume = {76(2-3)},
   year = {1988}
 }
+
+@article{GADT,
+  author = {Hongwei Xi and Chiyan Chen and Gang Chen},
+  title = {Guarded Recursive Datatype Constructors},
+  booktitle = {Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages},
+  year = {2003}
+}