Dualizing generalized algebraic data types by matrix transposition

DOI10.1007/978-3-319-89884-1_3zbMATH Open1418.68026OpenAlexW2798938825MaRDI QIDQ2323967FDOQ2323967

Authors: Klaus Ostermann, Julian Jabs 

Publication date: 13 September 2019

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

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

Mathematics Subject Classification ID

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

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

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)