Typed operational semantics for higher-order subtyping

  • Compagnoni A
  • Goguen H
  • 4

    Readers

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

    Citations

    Citations of this article.

Abstract

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

Authors

  • 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