An algebraic model of subtype in object-oriented languages (abstract only)
2009 ◽
Vol 22
(5)
◽
pp. 489-535
◽
2010 ◽
Vol 36
(2)
◽
pp. 123-141
◽
2019 ◽
Vol 8
(9S3)
◽
pp. 893-897
Keyword(s):