Programming in Haskell

DOI10.1017/CBO9780511813672zbMath1117.68018OpenAlexW4240127846MaRDI QIDQ5899343

G. Hutton

Publication date: 10 May 2007

Full work available at URL: https://doi.org/10.1017/cbo9780511813672

zbMATH Keywords

Haskellprogramming languagefunctional programming

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (9)

Calculating Certified Compilers for Non-deterministic Languages ⋮ A Certified Reduction Strategy for Homological Image Processing ⋮ Coalgebras in functional programming and type theory ⋮ Calculating correct compilers ⋮ Clocks for Functional Programs ⋮ Models of quantum computation and quantum programming languages ⋮ Haskell ⋮ Relationships between category theory and functional programming with an application ⋮ Fractal image compression

Uses Software

• GHC

This page was built for publication: Programming in Haskell