HOLCF

swMATH25266MaRDI QIDQ37008FDOQ37008

Author name not available (Why is that?)

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