Mercurial > cpdt > repo

comparison latex/cpdt.bib @ 356:50e1d338728c

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
355:62fdf0993e05 356:50e1d338728c
265 title = "The Formal Semantics of Programming Languages", 265 title = "The Formal Semantics of Programming Languages",
266 year = "1993", 266 year = "1993",
267 publisher = "MIT Press", 267 publisher = "MIT Press",
268 chapter = "8" 268 chapter = "8"
269 } 269 }
270
271 @article{Capretta,
272 author = {Venanzio Capretta},
273 title = {General Recursion via Coinductive Types},
274 journal = {Logical Methods in Computer Science},
275 volume = 1,
276 number = 2,
277 year = 2005,
278 pages = {1--18},
279 }
280
281 @inproceedings{Megacz,
282 author = {Adam Megacz},
283 title = {A coinductive monad for prop-bounded recursion},
284 booktitle = {Proceedings of the {ACM} Workshop Programming
285 Languages meets Program Verification},
286 pages = {11--20},
287 year = {2007},
288 }