Type-indexed data types
From MaRDI portal
Publication:1881268
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
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
This page was built for publication: Type-indexed data types
