Rank 2 Intersection Type Assignment in Term Rewriting Systems (1996)

by Steffen van Bakel
Citations:23 - 15 self

Documents Related by Co-Citation

218 A filter lambda model and the completeness of type assignment – M Coppo - 1983
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
36 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
567 Term Rewriting Systems – J. W. Klop - 1992
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
89 An Extension of the Basic Functionality Theory for the λ-Calculus – M Coppo, M Dezani-Ciancaglini - 1980
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
215 Intensional interpretation of functionals of finite type – W W Tait - 1967
939 A theory of type polymorphism in programming – Robin Milner - 1978
24 Normalization Results for Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1997
108 The principal type scheme of an object in combinatory logic – J Hindley - 1969
59 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
17 Partial Intersection Type Assignment in Applicative Term Rewriting Systems – Steffen Van Bakel - 1993
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
56 Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik – M Coppo, M Dezani-Ciancaglini, B Venneri - 1981
111 Design of the Programming Language Forsythe – John C. Reynolds - 1996