HOLCF

MaRDI QIDQ37008swMATHFDO

Official website http://www21.in.tum.de/~huffman/phdthesis.html

Cited in

(9)

• Recursive Functions on Lazy Lists via Domains and Topologies
• HALO
• AmiCo
• Tycon
• LiquidHaskell
• Stern-Brocot Tree
• Topology
• Formal verification of monad transformers
• Friends with benefits. Implementing corecursion in foundational proof assistants

This page was built for software: HOLCF