Faking it Simulating dependent types in Haskell
From MaRDI portal
Publication:3149006
DOI10.1017/S0956796802004355zbMath1037.68038OpenAlexW1995675054MaRDI QIDQ3149006
Publication date: 2002
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796802004355
Related Items
Game semantics for dependent types, Iterating on multiple collections in synchrony, Iteration and coiteration schemes for higher-order and nested datatypes, Initial Algebra Semantics for Cyclic Sharing Structures, Lightweight Static Capabilities
Uses Software