|
4
|
An Introduction to Polymorphic Lambda Calculus
– John C. Reynolds
- 1994
|
|
16
|
On functors expressible in the polymorphic typed lambda calculus
– John C. Reynolds, Gordon D. Plotkin
- 1990
|
|
24
|
Notes on Sconing and Relators
– John C. Mitchell, Andre Scedrov
- 1993
|
|
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
|
|
5
|
The Girard-Reynolds isomorphism
– Philip Wadler
- 2001
|
|
64
|
Programming with Intersection Types and Bounded Polymorphism
– Benjamin C. Pierce
- 1991
|
|
3
|
Functionality, polymorphism, and concurrency: a mathematical investigation of programming paradigms
– Peter Selinger, Peter Selinger, Peter Selinger, Andre Scedrov
- 1997
|
|
|
Theoretical Foundations for Practical ‘Totally Functional Programming’
– Colin Kemp
- 2007
|
|
1
|
Building continuous webbed models for System F
– S. Berardi, C. Berline
- 2000
|
|
4
|
The Girard-Reynolds isomorphism (second edition
– Philip Wadler, Jean-yves Girard
- 2004
|
|
98
|
On The Type Structure of Standard ML
– Robert Harper, John C. Mitchell
- 1993
|
|
|
Type Theory for Programming Languages
– Robert Harper
- 1994
|
|
252
|
Compiling polymorphism using intensional type analysis
– Robert Harper, Greg Morrisett
- 1995
|
|
|
βη-complete models for System F
– Stefano Berardi, Chantal Berline
- 2000
|
|
1
|
Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves
– Jean Gallier, Jean Gallier
- 1995
|
|
|
Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves
– Jean Gallier
- 1995
|
|
21
|
Correspondence between Operational and Denotational Semantics
– C. -h. L. Ong
- 1995
|
|
67
|
A Polymorphic Record Calculus and Its Compilation
– Atsushi Ohori
- 1995
|
|
8
|
A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming
– Atsushi Ohori
- 1989
|
