Typed operational semantics for higher-order subtyping

  • Compagnoni A
  • Goguen H
  • 4


    Mendeley users who have this article in their library.
  • 14


    Citations of this article.


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

Author-supplied keywords

  • Dependent kinds
  • Subtyping
  • Type theory
  • Typed operational semantics
  • λ-Calculus

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Adriana Compagnoni

  • Healfdene Goguen

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free