Implementation of Functional Languages

DOI10.1007/b102274zbMath1108.68351OpenAlexW4210664715MaRDI QIDQ5466584

Ulf Norell, Patrik Jansson

Publication date: 24 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b102274

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (5)

Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ CoLoSS: The Coalgebraic Logic Satisfiability Solver ⋮ Libraries for Generic Programming in Haskell

Uses Software

• Haskell
• PolyLib

This page was built for publication: Implementation of Functional Languages