Typed Compilation Against Non-manifest Base Classes

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices - Lecture Notes in Computer Science ◽

10.1007/11741060_5 ◽

2006 ◽

pp. 77-98 ◽

Author(s):

Christopher League ◽

Stefan Monnier

Download Full-text