Bounded operator abstraction is a language construct relevant to object-oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce ℱ≤ω, a variant of F
CITATION STYLE
Compagnoni, A., & Goguen, H. (2003). Typed operational semantics for higher-order subtyping. Information and Computation, 184(2), 242–297. https://doi.org/10.1016/S0890-5401(03)00062-2
Mendeley helps you to discover research relevant for your work.