Scrap Your Type Applications

DOI10.1007/978-3-540-70594-9_2zbMath1156.68351OpenAlexW1935001809MaRDI QIDQ3521978

Simon L. Peyton Jones, C. Barry Jay

Publication date: 28 August 2008

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

Full work available at URL: https://doi.org/10.1007/978-3-540-70594-9_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Combinatory logic and lambda calculus (03B40)

Uses Software

• Coq
• Haskell
• GHC
• TIL

This page was built for publication: Scrap Your Type Applications