|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
75
|
ECC, an Extended Calculus of Constructions
– Zhaohui Luo
- 1989
|
|
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
|
|
7
|
Coherence and Consistency in Domains
– Carl A. Gunter, Achim Jung, Technische Hochschule Darmstadt
- 1990
|
|
3
|
Information Categories
– Abbas Edalat, Michael B. Smyth
- 1991
|
|
292
|
Theorems for free!
– Philip Wadler
- 1989
|
|
14
|
Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract)
– J.M.E. Hyland, C. -h. L. Ong
- 1993
|
|
4
|
An Introduction to Polymorphic Lambda Calculus
– John C. Reynolds
- 1994
|
|
12
|
Universal Profinite Domains
– Carl A. Gunter
- 1987
|
|
136
|
Semantic Domains
– C. A. Gunter, D. S. Scott
- 1990
|
|
1
|
Building continuous webbed models for System F
– S. Berardi, C. Berline
- 2000
|
|
104
|
Inheritance As Implicit Coercion
– Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov
- 1991
|
|
7
|
Data Categories
– C. Barry Jay
- 1996
|
|
5
|
The Girard-Reynolds isomorphism
– Philip Wadler
- 2001
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
6
|
I-Categories as a framework for solving domain equations
– Abbas Edalat, Michael B. Smyth
- 1993
|
|
6
|
Equational Theories for Inductive Types
– Ralph Loader
- 1997
|
|
3
|
Stable computational semantics of conflict-free rewrite systems (Draft). Available at http://www.sys.uea.ac.uk/~zurab
– Zurab Khasidashvili, John Glauert
- 2000
|
|
1
|
Propositional Functions and Families of Types
– Jan M. Smith
- 1989
|
