An Introduction to Polymorphic Lambda Calculus (1994)

Cached

Download Links

by John C. Reynolds
Venue:Logical Foundations of Functional Programming
Citations:4 - 0 self

Active Bibliography

16 On functors expressible in the polymorphic typed lambda calculus – John C. Reynolds, Gordon D. Plotkin - 1990
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
1 Building continuous webbed models for System F – S. Berardi, C. Berline - 2000
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
29 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
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Subtyping Parametric and Dependent Types -- An introduction – Gang Chen, Giuseppe Longo - 1996
1 Subtyping Parametric and Dependent Types – Gang Chen, Giuseppe Longo - 1996
14 A Logic of Subtyping – Giuseppe Longo, Kathleen Milsted, Sergei Soloviev - 1996
10 Coherence and Transitivity of Subtyping as Entailment – Giuseppe Longo, Kathleen Milsted, Sergei SOLOVIEV - 1996
1 Relational Limits in General Polymorphism – Ryu Hasegawa, Ryu Hasegawa - 1993
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
7 A New Paradox in Type Theory – Thierry Coquand - 1994
1 Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves – Jean Gallier, Jean Gallier - 1995