Haskell Type Constraints Unleashed

DOI10.1007/978-3-642-12251-4_6zbMath1284.68135OpenAlexW1551531572MaRDI QIDQ3558329

Tom Schrijvers, Dominic A. Orchard

Publication date: 4 May 2010

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://kar.kent.ac.uk/57498/1/constraint-families.pdf

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18)

Uses Software

• Haskell
• GHC

This page was built for publication: Haskell Type Constraints Unleashed