Microsoft Research
Microsoft Translator |
The power of parameterization in coinductive proof

Chung-Kil Hur, Georg Neis, Derek Dreyer, and Viktor Vafeiadis
January 2013

ppcp.pdf
PDF file

In  the 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)

Publisher  ACM

Details

TypeInproceedings
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > The power of parameterization in coinductive proof