Distributive disjoint polymorphism for compositional programming

DOI10.1007/978-3-030-17184-1_14zbMath1524.68076OpenAlexW2933554047MaRDI QIDQ6070790

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

Publication date: 24 November 2023

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

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)

Related Items (1)

A calculus with recursive types, record concatenation and subtyping

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