Consistent subtyping for all
From MaRDI portal
Publication:2323964
DOI10.1007/978-3-319-89884-1_1zbMath1418.68039MaRDI QIDQ2323964
Xuan Bi, Bruno C. d. S. Oliveira, Ningning Xie
Publication date: 13 September 2019
Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_1
68N18: Functional programming and lambda calculus
Uses Software