Type-safe pattern combinators

DOI10.1017/S0956796808007089zbMath1162.68395MaRDI QIDQ3616444

Morten Rhiger

Publication date: 25 March 2009

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (2)

Pattern matching for the masses using custom notations ⋮ “Little language” project modules

Cites Work

• Unnamed Item
• Encoding types in ML-like languages
• Functional unparsing
• Do we need dependent types?
• Proceedings of the second ACM SIGPLAN international conference on Functional programming

This page was built for publication: Type-safe pattern combinators