Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68332OpenAlexW2492557863MaRDI QIDQ5313092

Ulf Norell, Patrik Jansson

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (2)

Type-based termination of generic programs ⋮ Libraries for Generic Programming in Haskell

Uses Software

• Haskell
• Polyp

This page was built for publication: Mathematics of Program Construction