|
112
|
Formal Parametric Polymorphism
– Martin Abadi , Luca Cardelli, Pierre-Louis Curien
- 1993
|
|
24
|
Notes on Sconing and Relators
– John C. Mitchell, Andre Scedrov
- 1993
|
|
102
|
Parametricity and Local Variables
– P. W. O'hearn, R. D. Tennent
- 1995
|
|
332
|
Types, abstraction, and parametric polymorphism
– John Reynolds
- 1983
|
|
44
|
Functorial polymorphism
– E S Bainbridge, P J Freyd, A Scedrov, P J Scott
- 1990
|
|
13
|
Parametricity of extensionally collapsed term models of polymorphism and their categorical properties
– R Hasegawa
|
|
46
|
Polymorphism is set theoretic, constructively
– A M Pitts
- 1987
|
|
53
|
Lambda definability in the full type hierarchy
– G D Plotkin
- 1980
|
|
26
|
Categorical data types in parametric polymorphism
– Ryu Hasegawa
- 1994
|
|
89
|
Relational Properties of Domains
– Andrew M. Pitts
- 1996
|
|
7
|
Parametricity as Subtyping
– Qingming Ma
- 1992
|
|
146
|
Fundamental concepts in programming languages
– C Strachey
- 2000
|
|
290
|
Theorems for free!
– Philip Wadler
- 1989
|
|
295
|
Concepts in Programming Languages
– J C Mitchell
- 2003
|
|
266
|
Abstract types have existential type
– John C Mitchell, Gordon D Plotkin
- 1988
|
|
24
|
A New Characterization of Lambda Definability
– Achim Jung, Jerzy Tiuryn
- 1993
|
|
134
|
Type Systems for Programming Language
– John C Mitchell
- 1990
|
|
44
|
DIDomains as a Model of Polymorphism
– T Coquand, C A Gunter, G Winskel
|
|
652
|
Notions of Computation and Monads
– Eugenio Moggi
- 1991
|
