Mercurial > cpdt > repo

diff latex/cpdt.bib @ 347:36a08cad9245

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Finished pass over Coinductive
author Adam Chlipala <adam@chlipala.net>
date Sun, 23 Oct 2011 14:48:52 -0400
parents 5d85de065540
children 62fdf0993e05
line wrap: on
line diff
--- a/latex/cpdt.bib	Sun Oct 23 13:33:46 2011 -0400
+++ b/latex/cpdt.bib	Sun Oct 23 14:48:52 2011 -0400
@@ -252,3 +252,10 @@
   number =	 "0221",
   institution =	 "INRIA",
 }
+
+@inproceedings{BigStep,
+ author = {Xavier Leroy and Herv\'e Grall},
+ title = {Coinductive big-step operational semantics},
+ year = {2006},
+ booktitle = {Proceedings of the 15th European Symposium on Programming}
+}