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
Unnamed Item, Unnamed Item, A type- and scope-safe universe of syntaxes with binding: their semantics and proofs, Doo bee doo bee doo, 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, Folding over neural networks, Deep embedding with class, Structured handling of scoped effects, Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation, Executable component-based semantics, Combining deep and shallow embedding of domain-specific languages, Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes, Modular Dependent Induction in Coq, Mendler-Style, Fusion for Free, Asymptotic Improvement of Computations over Free Monads
Cites Work