Two-level types and parameterized modules
From MaRDI portal
Publication:5692153
DOI10.1017/S095679680300488XzbMath1104.68397MaRDI QIDQ5692153
Publication date: 27 September 2005
Published in: Journal of Functional Programming (Search for Journal in Brave)
Related Items (7)
Formal derivation of greedy algorithms from relational specifications: a tutorial ⋮ Constructing language processors with algebra combinators ⋮ Asymptotic Improvement of Computations over Free Monads ⋮ Interleaving data and effects ⋮ A pattern for almost compositional functions ⋮ MikiBeta : A General GUI Library for Visualizing Proof Trees ⋮ A Duality of Sorts
Uses Software
This page was built for publication: Two-level types and parameterized modules
