Functional Programming in Coq

The Software Foundations: mathematical underpinnings of reliable software

Software Foundations - Vol 1-3

Software Foundations