Programming in Haskell
From MaRDI portal
Publication:5899343
DOI10.1017/CBO9780511813672zbMath1117.68018OpenAlexW4240127846MaRDI QIDQ5899343
Publication date: 10 May 2007
Full work available at URL: https://doi.org/10.1017/cbo9780511813672
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
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