Mercurial > cpdt > repo
diff 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 |
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} +}