Beating the Productivity Checker Using Embedded Languages

by Nils Anders Danielsson
Citations:6 - 3 self

Document Versions

Beating the Productivity Checker Using Embedded Languages –Nils Anders Danielsson
Beating the productivity checker using embedded languages –Nils Anders Danielsson — 2010 — In Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010), volume 43 of EPTCS
Beating the productivity checker using embedded languages –Nils Anders Danielsson — 2010 — In Workshop on Partiality and Recursion in Interactive Theorem Provers