A History of Haskell

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

• A History of Haskell: Being Lazy With Class (PDF)

• Simon Peyton Jones - A History of Haskell: being lazy with class (MP4)

More

• Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey (MP4)

• Co-Creator of Haskell: Functional Programming, Thinking in Types, Useless Languages - Simon Jones (MP4)

• An Overview of Haskell (PDF)

STG

Haskell’s semantics are based on lambda calculus, while its execution is implemented by an abstract machine such as STG, which ultimately runs on a physical CPU.

• The Spineless Tagless G Machine (HTML)

• Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (PDF)

From Lambda Expressions to Effects

Evaluation and Interpretation

The Lambda Calculus (MP4)

Definitional Interpreters for Higher-Order Programming Languages (PDF)

Computational lambda-calculus and monads (PDF)