Consistent subtyping for all

DOI10.1007/978-3-319-89884-1_1zbMath1418.68039OpenAlexW2799110842MaRDI QIDQ2323964

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

Publication date: 13 September 2019

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (1)

Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi

Uses Software

• Unnamed Item

This page was built for publication: Consistent subtyping for all