Distributive disjoint polymorphism for compositional programming

DOI10.1007/978-3-030-17184-1_14MaRDI QIDQ6070790zbMATH OpenOpenAlexFDO

Authors Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers

Publication date 24 November 2023

Published in Programming Languages and Systems (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-030-17184-1_14

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Disjoint polymorphism
• Taming the merge operator
• Disjoint intersection types
• Applicative intersection types
• Modular design of domain-specific languages using splittings of catamorphisms

Cited in

(3)

• Variable handling and compositionality: comparing DRT and DTS
• Programming Languages and Systems
• A calculus with recursive types, record concatenation and subtyping

This page was built for publication: Distributive disjoint polymorphism for compositional programming

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