Syntactically restricting bounded polymorphism for decidable subtyping

DOI10.1007/978-3-030-64437-6_7zbMath1476.68041OpenAlexW3106635654MaRDI QIDQ2038076

Jonathan Aldrich, Julian Mackay, Alex Potanin, Lindsay Groves

Publication date: 8 July 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-64437-6_7

zbMATH Keywords

functional languagespolymorphismlanguage designobject-oriented languages

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

This page was built for publication: Syntactically restricting bounded polymorphism for decidable subtyping