D. A. Wright. Reduction Types and Intensionality in the Lambda-calculus. PhD thesis, University of Tasmania, 1992. 21  Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Unified Approach to Strictness Analysis and Optimising.. - Benton (1996) (1 citation) (Correct)
Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Compiling Laziness Using Projection Types - Baker-Finch (Correct)
Type Theory and Projections for Static Analysis - Baker-Finch (1995) (Correct)
Elimination of Negation in a Logical Framework - Momigliano (2000) (3 citations) (Correct)
Strictness and Totality Analysis with Conjunction - Solberg (1995) (3 citations) (Correct)
Higher-Order Pattern Complement and Strict Lambda-Calculus - Alberto Momigliano.. (1999) (Correct)
Detecting and Removing Dead Code using Rank 2 Intersection - Damiani, Prost (1997) (1 citation) (Correct)
The Relative Complement Problem for Higher-Order Patterns - Momigliano, Pfenning (1999) (Correct)
Type Theory and Projections for Higher-Order Static Analysis - Baker-Finch (Correct)
A Unified Approach to Strictness Analysis and Optimising.. - Benton (1996) (1 citation) (Correct)
The Relative Complement Problem for Higher-Order Patterns - Momigliano, Pfenning (1999) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC