A Class-Based Object Calculus of Dynamic Binding: Reduction and Properties
Keyword(s):
Keyword(s):
Keyword(s):
2002 ◽
Vol 158
(7)
◽
pp. 1161-1170
◽
Keyword(s):
Keyword(s):
Keyword(s):
2011 ◽
Vol 1218
(49)
◽
pp. 8925-8936
◽
Keyword(s):
Keyword(s):
Keyword(s):