Hierarchies of Decidable Extensions of Bounded Quantification (1994)

Cached

Download Links

by Sergei Vorobyov
Venue:IN 22ND ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:7 - 5 self

Active Bibliography

37 Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1996
1 Proof Normalization and Subject Reduction in Extensions of Fsub – Im Stadtwald, Sergei Vorobyov, Sergei Vorobyov, Sergei Vorobyov - 1995
32 Polarized Higher-Order Subtyping – Martin Steffen - 1997
3 Extensions of... with Decidable Typing – Sergei G. Vorobyov - 1994
Fsub with Recursive Types: "Types-As-Propositions" Interpretation in M. Rabin's S2S – Sergei Vorobyov - 1995
14 Divergence of F≤ Type Checking – Giorgio Ghelli
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe
6 Subtyping Recursive Types in Kernel Fun – Dario Colazzo, Giorgio Ghelli - 1999
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
2 Integration of Parametric and "ad Hoc" Second Order Polymorphism in a Calculus With Subtyping – Giuseppe Castagna - 1995
51 Positive Subtyping – Martin Hofmann, Benjamin Pierce - 1994
6 Subject reduction and minimal types for higher order subtyping – Adriana Compagnoni - 1997
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
1 Developments in Object-Oriented Type Systems – Michael I. Schwartzbach, C Fl Michael I. Schwartzbach - 1994
118 A Paradigmatic Object-Oriented Programming Language: Design, Static Typing and Semantics – Kim B. Bruce - 1993
19 Higher Order Logic – Daniel Leivant - 1994
4 Anti-Symmetry of Higher-Order Subtyping – Adriana Compagnoni, Healfdene Goguen - 1999
A Semantics for Stratified λ&-early – G. Castagna, G. Ghelli, G. Longo - 1994