Data types à la carte
From MaRDI portal
Publication:3520165
DOI10.1017/S0956796808006758zbMATH Open1153.68015MaRDI QIDQ3520165FDOQ3520165
Publication date: 15 August 2008
Published in: Journal of Functional Programming (Search for Journal in Brave)
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)
Cites Work
Cited In (28)
- Codatatypes in ML
- Title not available (Why is that?)
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
- Title not available (Why is that?)
- Executable component-based semantics
- Folding over neural networks
- A representation theorem for second-order functionals
- Combining deep and shallow embedding of domain-specific languages
- Structured handling of scoped effects
- Classical misuse attacks on NIST round 2 PQC. The power of rank-based schemes
- Fusion for Free
- Interleaving data and effects
- Title not available (Why is that?)
- Proving confluence in the confluence framework with confident
- Modularity and Implementation of Mathematical Operational Semantics
- Modular Dependent Induction in Coq, Mendler-Style
- Latent Effects for Reusable Language Components
- Generic Views on Data Types
- Title not available (Why is that?)
- Asymptotic Improvement of Computations over Free Monads
- Polytypic data conversion programs
- Title not available (Why is that?)
- Functional Semantics
- Deep embedding with class
- Doo bee doo bee doo
- FUNCTIONAL PEARL Pickler combinators
- No value restriction is needed for algebraic effects and handlers
- A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
This page was built for publication: Data types à la carte
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3520165)
