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
104 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
62 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
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
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
52 Principality and Decidable Type Inference for Finite-Rank Intersection Types – A. J. Kfoury, J. B. Wells - 1999
17 Partial Intersection Type Assignment in Applicative Term Rewriting Systems – Steffen Van Bakel - 1993
24 Normalization Results for Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1997
567 Term Rewriting Systems – J. W. Klop - 1992
755 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
89 An Extension of the Basic Functionality Theory for the λ-Calculus – M Coppo, M Dezani-Ciancaglini - 1980
215 Intensional interpretation of functionals of finite type – W W Tait - 1967
939 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
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
12 Strong Normalization of Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1994
33 Executable higher-order algebraic specification languages – J-P Jouannaud, M Okada - 1991