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)
Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (19)
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Fusion for Free ⋮ Folding over neural networks ⋮ Deep embedding with class ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ Asymptotic Improvement of Computations over Free Monads ⋮ Unnamed Item ⋮ A representation theorem for second-order functionals ⋮ Interleaving data and effects ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes ⋮ Executable component-based semantics ⋮ Combining deep and shallow embedding of domain-specific languages ⋮ Functional Semantics ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Modular Dependent Induction in Coq, Mendler-Style ⋮ A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
Cites Work
This page was built for publication: Data types à la carte
