ICFP 2015

The paper Foundational Extensional Corecursion: A Proof Assistant Perspective by Andrei and his collaborators (Jasmin Blanchette and Dmitriy Tarytel) was accepted at ICFP 2015. It argues that total productive programming with lazy structures (also known as co-programming) is best hosted by a proof assistant, as opposed to an “ordinary” programming language.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a Reply

Your email address will not be published. Required fields are marked *

Note: If you are replying to another commenter, click the "Reply to {NAME} ↵" button under their comment!