A New Formalization of Subtyping to Match Subclasses to Subtypes

DOI10.1007/978-3-319-07151-0_15zbMath1416.68042OpenAlexW2236375266MaRDI QIDQ5170715

Hyunik Na, Sukyoung Ryu

Publication date: 24 July 2014

Published in: Functional and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_15

Mathematics Subject Classification ID

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

Uses Software

• PolyTOIL

This page was built for publication: A New Formalization of Subtyping to Match Subclasses to Subtypes