A history of Haskell

2007/06/06 by Paul Hudak, John Hughes, Simon Peyton Jones +1 · 1 voice · 3 citations
Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Advanced Malware Detection Techniques

paper · doi:10.1145/1238844.1238856

openalex publication_date 2007/06/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/30

Abstract

This paper describes the history of Haskell, including its genesis and principles, technical contributions, implementations and tools, and applications and impact.

Citations

• Type Classes and Constraint Handling Rules
• Recursive functions of symbolic expressions and their computation by machine, Part I
• Generalising monads to arrows
• Another algorithm for bracket abstraction
• A theory of type polymorphism in programming
• Can programming be liberated from the von Neumann style?
• Literate Programming
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited by

• Let's Take Esoteric Programming Languages Seriously
• Functional programming [wikipedia]
• Miranda (programming language) [wikipedia]

Discussions

• To learn more about Haskell's history: “A history of Haskell: being lazy with class” doi.org/10.1145/1238... Thank you Prof David Turner for creating Miranda & Martin Guy for keeping it alive. #Has [bsky, 0 points, 0 comments]