http://homes.soic.indiana.edu/jsiek/
This is an unofficial reimagining of the Archive of Formal Proofs
Declarative Semantics for Functional Languagesby Jeremy Siek