|
4
|
An Introduction to Polymorphic Lambda Calculus
– John C. Reynolds
- 1994
|
|
53
|
Types, Abstraction, and Parametric Polymorphism, Part 2
– QingMing Ma, John C. Reynolds
- 1991
|
|
104
|
Inheritance As Implicit Coercion
– Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
- 1991
|
|
27
|
Domains and Denotational Semantics: History, Accomplishments and Open Problems
– Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Giuseppe Rosolini, Ian Stark
- 1996
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
1
|
Building continuous webbed models for System F
– S. Berardi, C. Berline
- 2000
|
|
7
|
Coherence and Consistency in Domains
– Carl A. Gunter, Achim Jung, Technische Hochschule Darmstadt
- 1990
|
|
24
|
Notes on Sconing and Relators
– John C. Mitchell, Andre Scedrov
- 1993
|
|
14
|
Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract)
– J.M.E. Hyland, C. -h. L. Ong
- 1993
|
|
75
|
ECC, an Extended Calculus of Constructions
– Zhaohui Luo
- 1989
|
|
|
Pseudo-Retract Functors for Local Lattices and Bifinite L-Domains
– Elsa L. Gunter
|
|
33
|
Domain Theoretic Models Of Polymorphism
– Thierry Coquand, Carl A. Gunter, Glynn Winskel
- 1989
|
|
102
|
Polytypic Values Possess Polykinded Types
– Ralf Hinze
- 2000
|
|
|
Developing Theories of Types and Computability
– Thesis Proposal, Lars Birkedal
- 1999
|
|
1
|
A construction of Type:Type in Martin-Löf's partial type theory with one universe
– Erik Palmgren
|
|
12
|
Normal Forms and Cut-Free Proofs as Natural Transformations
– Jean-Yves Girard, Andre Scedrov, Philip J. Scott
- 1992
|
|
|
Subtyping Parametric and Dependent Types -- An introduction
– Gang Chen, Giuseppe Longo
- 1996
|
|
7
|
Type Theory via Exact Categories (Extended Abstract)
– L. Birkedal, A. Carboni, G. Rosolini, D. S. Scott
- 1998
|
|
1
|
Subtyping Parametric and Dependent Types
– Gang Chen, Giuseppe Longo
- 1996
|
