Type-indexed data types

DOI10.1016/J.SCICO.2003.07.001zbMath1091.68025OpenAlexW2145738007MaRDI QIDQ1881268

Ralf Hinze, Johan Jeuring, Andres Löh

Publication date: 4 October 2004

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2003.07.001

zbMATH Keywords

Generic Haskellpolytypic functions

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (6)

Type-based termination of generic programs ⋮ Generic programming in 3D ⋮ Iteration and coiteration schemes for higher-order and nested datatypes ⋮ A lightweight approach to datatype-generic rewriting ⋮ Datatype-generic termination proofs ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

Uses Software

• Haskell

This page was built for publication: Type-indexed data types