Programming in Haskell

DOI10.1017/CBO9780511813672zbMATH Open1117.68018OpenAlexW4240127846MaRDI QIDQ5899343FDOQ5899343

Authors Graham Hutton 

Publication date 10 May 2007

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

zbMATH Keywords

functional programmingprogramming languageHaskell

Mathematics Subject Classification ID

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

Recommendations

• Programming in Haskell
• Implementation of Functional Languages
• Improving Haskell
• scientific article; zbMATH DE number 53817
• Algorithm design with Haskell
• Implementation of Functional Languages

Cited in

(20)

• Clocks for Functional Programs
• Models of quantum computation and quantum programming languages
• Calculating certified compilers for non-deterministic languages
• Compiling Haskell to JavaScript through Clean's core
• A certified reduction strategy for homological image processing
• Haskell in Space
• scientific article; zbMATH DE number 839383 (Why is no real title available?)
• The Haskell road to logic, maths and programming
• Improving Haskell
• Haskell
• Algorithm design with Haskell
• Introduction to computation. Haskell, logic and automata
• Programming in Haskell
• Domain-specific languages of mathematics
• scientific article; zbMATH DE number 53817 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Calculating correct compilers
• Fractal image compression
• Relationships between category theory and functional programming with an application
• Coalgebras in functional programming and type theory

Describes a project that uses

Uses Software

• GHC

This page was built for publication: Programming in Haskell

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899343)