Opening book details…
Can I read Higher-order subtyping on EtoBox?
Higher-order subtyping by Benjamin Pierce; Martin Steffen is a Computer Science article available to read on EtoBox.
What is Higher-order subtyping about?
System Fz is an extension with subtyping of the higher-order polymorphic I-calculus -an orthogonal combination of Girard's system F 0 with Cardelli and Wegner's Kernel Fun variant of System F4. We develop the fundamental metatheory of this calculus: decidability of /?-conversion on well-kinded types, elimination of the "cut-rule" of transitivity from the subtype relation, and the soundness, completeness, and termination of algorithms for subtyping and typechecking.
Who reads Higher-order subtyping?
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Benjamin Pierce; Martin Steffen
- Publisher
- Elsevier Science; Elsevier ; Elsevier BV (ISSN 0304-3975)
- Published
- 1997
- Language
- EN
- Field
- Computer Science (Physical Sciences)