Generic Programming

DOI10.1007/b12027zbMath1274.68050OpenAlexW954091228MaRDI QIDQ5187877

Ralf Hinze, Johan Jeuring

Publication date: 9 March 2010

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ A type system for reflective program generators ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ Libraries for Generic Programming in Haskell

Uses Software

• Haskell

This page was built for publication: Generic Programming