|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
53
|
A modular, polyvariant, and type-based closure analysis
– Anindya Banerjee
|
|
72
|
Lightweight Closure Conversion
– Paul A. Steckler, Mitchell Wand
- 1996
|
|
26
|
A Calculus with Polymorphic and Polyvariant Flow Types
– J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
|
|
71
|
A Unified Treatment of Flow Analysis in Higher-Order Languages
– Suresh Jagannathan, Stephen Weeks
- 1995
|
|
29
|
Strongly Typed Flow-Directed Representation Transformations (Extended Abstract)
– Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells
- 1997
|
|
50
|
Principality and Decidable Type Inference for Finite-Rank Intersection Types
– A. J. Kfoury, J. B. Wells
- 1999
|
|
14
|
Control Flow Analysis of Higher Order Languages
– O Shivers
- 1991
|
|
49
|
Programming With Intersection Types, Union Types, and Polymorphism
– Benjamin C. Pierce
- 1991
|
|
295
|
Concepts in Programming Languages
– J C Mitchell
- 2003
|
|
46
|
Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems
– S van Bakel
- 1993
|
|
39
|
From Polyvariant Flow Information to Intersection and Union Types
– Jens Palsberg , Christina Pavlopoulou
- 1998
|
|
76
|
Type Inference for Recursively Constrained Types and its Application to OOP
– Jonathan Eifrig, Scott Smith, Valery Trifonov
- 1995
|
|
47
|
Control-Flow Analysis and Type Systems
– Nevin Heintze
- 1995
|
|
84
|
A Type System Equivalent to Flow Analysis
– Jens Palsberg, Patrick O'Keefe
- 1995
|
|
47
|
The Cartesian product algorithm
– O Agesen
- 1995
|
|
59
|
Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis
– Flemming Nielson, Hanne Riis Nielson
- 1997
|
|
16
|
Type-Directed Flow Analysis for Typed Intermediate Languages
– Suresh Jagannathan, Stephen Weeks, Andrew Wright
- 1997
|
|
557
|
From System F to Typed Assembly Language
– Greg Morrisett, David Walker, Karl Crary, Neal Glew
- 1998
|
