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

by Steffen van Bakel
Citations:22 - 14 self

Active Bibliography

2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
Type Systems for Programming Languages – Steffen van Bakel - 2001
11 Partial Type Assignment in Left Linear Applicative Term Rewriting Systems -- Theory, Applications and Implementation – Steffen van Bakel, Sjaak Smetsers, Simon Brock - 1992
3 Rank 2 Types for Term Graph Rewriting (Extended Abstract) – Steffen van Bakel
23 Normalization Results for Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1997
17 Partial Intersection Type Assignment in Applicative Term Rewriting Systems – Steffen Van Bakel - 1993
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
4 Polymorphic Intersection Type Assignment for Rewite Systems with Intersection and beta-rule (Extended Abstract) – Steffen van Bakel, Franco Barbanera, Maribel Fernández - 2000
12 Strong Normalization of Typeable Rewrite Systems – Steffen van Bakel, Maribel Fernández - 1994
Functional Type Assignment for Featherweight Java To Rinus Plasmeijer, in honour of his 61st birthday – S. J. Van Bakel, R. N. S. Rowe
2 Semantic Predicate Types and Approximation for Class-based Object Oriented Programming – Steffen Van Bakel, Reuben N. S. Rowe
103 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
35 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
61 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
12 Normalisation, Approximation, and Semantics for Combinator Systems – Steffen Van Bakel, Maribel Fernández - 2003
Rewrite Systems with Abstraction and β-rule: Types, Approximants and Normalization – Steffen Van Bakel, Franco Barbanera, Maribel Fernández
A Type-based Trace Analysis for Java – R. N. S. Rowe, S. J. Van Bakel
11 Type Inference with Expansion Variables and Intersection Types in System E and an Exact Correspondence with β-Reduction – Sébastien Carlier, J. B. Wells