Dualizing generalized algebraic data types by matrix transposition

DOI10.1007/978-3-319-89884-1_3MaRDI QIDQ2323967zbMATH OpenOpenAlexFDO

Authors Klaus Ostermann, Julian Jabs

Publication date 13 September 2019

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-319-89884-1_3

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• Foundations for structured programming with GADTs
• Ghostbuster: a tool for simplifying and converting GADTs
• A lean specification for gadts: System F with first-class equality proofs
• GADTs Meet Subtyping

Cited in

(4)

• Ghostbuster: a tool for simplifying and converting GADTs
• Symmetric transrationals: the data type and the algorithmic degree of its equational theory
• Automatic refunctionalization to a language with copattern matching: with applications to the expression problem
• Foundations for structured programming with GADTs

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Dualizing generalized algebraic data types by matrix transposition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2323967)