Type-indexed data types
From MaRDI portal
Publication:1881268
DOI10.1016/j.scico.2003.07.001zbMath1091.68025MaRDI QIDQ1881268
Johan Jeuring, Ralf Hinze, 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
68N18: Functional programming and lambda calculus
Uses Software