| FUNCTIONAL
PROGRAMMING: FOUNDATIONS AND APPLICATIONS |
Lectures
Proof-theoretical Foundations
Standard ML
An Introduction to the Coq Proof Assistant
Virtuous Circles
| FUNCTIONAL
PROGRAMMING: FOUNDATIONS AND APPLICATIONS |