Data types à la carte
From MaRDI portal
Publication:3520165
DOI10.1017/S0956796808006758zbMath1153.68015MaRDI QIDQ3520165
Publication date: 15 August 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
68N18: Functional programming and lambda calculus
68Q65: Abstract data types; algebraic specification
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Related Items
Modularity and Implementation of Mathematical Operational Semantics, A representation theorem for second-order functionals, Interleaving data and effects, No value restriction is needed for algebraic effects and handlers, Functional Semantics, Executable component-based semantics, Combining deep and shallow embedding of domain-specific languages, Modular Dependent Induction in Coq, Mendler-Style, Fusion for Free, Asymptotic Improvement of Computations over Free Monads
Cites Work