|
105
|
Design of the Programming Language Forsythe
– John C. Reynolds
- 1996
|
|
53
|
Intersection and Union Types: Syntax and Semantics
– F Barbanera, M Dezani-Ciancaglini, U de’ Liguoro
- 1995
|
|
182
|
Soft typing with conditional types
– Er Aiken
- 1994
|
|
53
|
A modular, polyvariant, and type-based closure analysis
– Anindya Banerjee
|
|
26
|
A Calculus with Polymorphic and Polyvariant Flow Types
– J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
|
|
72
|
Lightweight Closure Conversion
– Paul A. Steckler, Mitchell Wand
- 1996
|
|
88
|
What Are Principal Typings and What Are They Good For?
– Trevor Jim
- 1995
|
|
39
|
From Polyvariant Flow Information to Intersection and Union Types
– Jens Palsberg , Christina Pavlopoulou
- 1998
|
|
97
|
Compiling with Types
– Greg Morrisett
- 1995
|
|
151
|
Refinement types for ML
– Tim Freeman
- 1994
|
|
339
|
Towards a theory of type structure
– J C Reynolds
|
|
146
|
Typed closure conversion
– Yasuhiko Minamide, Greg Morrisett, Robert Harper
- 1996
|
|
10
|
A calculus with polymorphic and polyvariant types
– J B Wells, A Dimock, R Muller, F Turbak
|
|
13
|
From polyvariant information to intersection and union types
– Jens Palsberg, Christina Pavlopoulou
- 2001
|
|
221
|
Interprétation fonctionnelle et élimination des coupures de l’arithmétique d’ordre supérieur. Thèse de Doctorat d’ État, Université de Paris VII
– Jean-Yves Girard
- 1972
|
|
175
|
Soft Typing
– Robert Cartwright, Mike Fagan
- 1991
|
|
50
|
Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik
– M Coppo, M Dezani-Ciancaglini, B Venneri
- 1981
|
|
29
|
Strongly Typed Flow-Directed Representation Transformations (Extended Abstract)
– Allyn Dimock, Robert Muller, Franklyn Turbak, J. B. Wells
- 1997
|
|
52
|
Compiling Haskell by program transformation: a report from the trenches
– Simon L. Peyton Jones
- 1996
|
