A New Formalization of Subtyping to Match Subclasses to Subtypes

Functional and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-319-07151-0_15 ◽

2014 ◽

pp. 238-252 ◽

Cited By ~ 1

Author(s):

Hyunik Na ◽

Sukyoung Ryu

Download Full-text