Data types à la carte

DOI10.1017/S0956796808006758MaRDI QIDQ3520165zbMATH OpenFDO

Authors Wouter Swierstra

Publication date 15 August 2008

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

free monadsHaskell's IO monad

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3909728
• Type-indexed data types
• scientific article; zbMATH DE number 2090025
• Data types are values
• scientific article; zbMATH DE number 4013990
• Datatypes in Memory
• Generic Views on Data Types
• Abstractions of data types

Cites work

• Category Theory

Cited in

(28)

• A type- and scope-safe universe of syntaxes with binding: their semantics and proofs
• Codatatypes in ML
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
• scientific article; zbMATH DE number 7561623 (Why is no real title available?)
• Executable component-based semantics
• Fusion for free. Efficient algebraic effect handlers
• Functional 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
• Modular dependent induction in Coq, Mendler-style
• Reasoning about modular datatypes with Mendler induction
• Interleaving data and effects
• Proving confluence in the confluence framework with confident
• Latent Effects for Reusable Language Components
• Generic Views on Data Types
• scientific article; zbMATH DE number 2090025 (Why is no real title available?)
• Asymptotic Improvement of Computations over Free Monads
• Polytypic data conversion programs
• scientific article; zbMATH DE number 3949668 (Why is no real title available?)
• Deep embedding with class
• Combining predicate transformer semantics for effects: a case study in parsing regular languages
• FUNCTIONAL PEARL Pickler combinators
• Doo bee doo bee doo
• Modularity and implementation of mathematical operational semantics
• No value restriction is needed for algebraic effects and handlers

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)