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

by Steffen van Bakel
Citations:22 - 14 self

Documents Related by Co-Citation

216 A filter lambda model and the completeness of type assignment. J.Symbolic Logic, 48:931--940 – H Barendregt, M Coppo, M Dezani-Ciancaglini - 1983
103 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
61 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
1115 The Lambda Calculus: Its Syntax and Semantics – H Barendregt - 1984
35 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
565 Term Rewriting Systems – J. W. Klop - 1992
17 Partial Intersection Type Assignment in Applicative Term Rewriting Systems – Steffen Van Bakel - 1993
23 Normalization Results for Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1997
939 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
88 An Extension of the Basic Functionality Theory for the λ-Calculus – M Coppo, M Dezani-Ciancaglini - 1980
51 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
213 Intensional Interpretations of Functionals of Finite Type – W W Tait - 1967
935 A theory of type polymorphism in programming – Robin Milner - 1978
11 Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation – Steffen van Bakel, Sjaak Smetsers, Simon Brock - 1992
107 The principal type scheme of an object in combinatory logic – J Hindley - 1969
58 Principal type schemes for an extended type theory – Ronchi della Rocca, S, B Venneri - 1984
12 Strong Normalization of Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1994
66 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991