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)
68N18: Functional programming and lambda calculus
Related Items
Interleaving data and effects, A Duality of Sorts, Constructing language processors with algebra combinators, Formal derivation of greedy algorithms from relational specifications: a tutorial, MikiBeta : A General GUI Library for Visualizing Proof Trees, Asymptotic Improvement of Computations over Free Monads, A pattern for almost compositional functions
Uses Software