Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
The power of parameterization in coinductive proof

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

Details

Publication typeInproceedings
Published inthe 40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2013)
PublisherACM
> Publications > The power of parameterization in coinductive proof