Introducing Functional Programmers to Interactive Theorem Proving and Program Verification Teaching Experience Report ∗ Ilya Sergey Aleksandar Nanevski

First Page		Document Content
Date: 2016-03-01 06:31:32		Introducing Functional Programmers to Interactive Theorem Proving and Program Verification Teaching Experience Report ∗ Ilya Sergey Aleksandar Nanevski Add to Reading List Source URL: ilyasergey.net Download Document from Source Website File Size: 265,23 KB Share Document on Facebook