Mercurial > cpdt > repo
diff latex/cpdt.bib @ 347:36a08cad9245
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} +}