HOLCF-Prelude

Joachim Breitner, Brian Huffman, Neil Mitchell, Christian Sternagel
The Archive of Formal Proofs,  2017.

abstract   BibTeX    
AFP entry