Mercurial > cpdt > repo
diff latex/cpdt.bib @ 356:50e1d338728c
First draft of full prose for GeneralRec
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Fri, 28 Oct 2011 17:43:53 -0400 |
parents | 62fdf0993e05 |
children | 6cc9a3bbc2c6 |
line wrap: on
line diff
--- a/latex/cpdt.bib Fri Oct 28 15:38:41 2011 -0400 +++ b/latex/cpdt.bib Fri Oct 28 17:43:53 2011 -0400 @@ -267,3 +267,22 @@ publisher = "MIT Press", chapter = "8" } + +@article{Capretta, + author = {Venanzio Capretta}, + title = {General Recursion via Coinductive Types}, + journal = {Logical Methods in Computer Science}, + volume = 1, + number = 2, + year = 2005, + pages = {1--18}, +} + +@inproceedings{Megacz, + author = {Adam Megacz}, + title = {A coinductive monad for prop-bounded recursion}, + booktitle = {Proceedings of the {ACM} Workshop Programming + Languages meets Program Verification}, + pages = {11--20}, + year = {2007}, +}