Modular design of domain-specific languages using splittings of catamorphisms

DOI10.1007/978-3-030-02508-3_4MaRDI QIDQ1623119zbMATH OpenOpenAlexFDO

Authors Rodrigue Aimé Djeumen Djatcha, Eric Badouel

Publication date 23 November 2018

Full work available at URL https://hal.inria.fr/hal-01919423/file/BadouelDjeumen.pdf

zbMATH Keywords

abstract syntax treesBekić's theoremcatamorphismscomponent-based designdomain specific languages

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A module system for domain-specific languages
• Algebraic Methodology and Software Technology
• Modular rewriting semantics in practice
• Categorical ML -- category-theoretic modular programming
• scientific article; zbMATH DE number 1231580
• A category-theoretic account of program modules
• A category-theoretic account of program modules
• scientific article; zbMATH DE number 4197406
• Category-based modularisation for equational logic programming

Cited in

(3)

• Folding domain-specific languages: deep and shallow embeddings (functional pearl)
• A module system for domain-specific languages
• Distributive disjoint polymorphism for compositional programming

This page was built for publication: Modular design of domain-specific languages using splittings of catamorphisms

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