On functors expressible in the polymorphic typed lambda calculus (1990)

Cached

Download Links

by John C. Reynolds , Gordon D. Plotkin
Venue:Logical Foundations of Functional Programming
Citations:16 - 1 self

Active Bibliography

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
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
103 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
24 Notes on Sconing and Relators – John C. Mitchell, Andre Scedrov - 1993
116 Inheritance As Implicit Coercion – Val Breazu-tannen, Thierry Coquand, Carl A. Gunter, Andre Scedrov - 1991
14 Modified Realizability Toposes and Strong Normalization Proofs (Extended Abstract) – J.M.E. Hyland, C. -h. L. Ong - 1993
84 ECC, an Extended Calculus of Constructions – Zhaohui Luo - 1989
88 Categorical Logic – Andrew M. Pitts - 1995
107 Polytypic Values Possess Polykinded Types – Ralf Hinze - 2000
34 Domain Theoretic Models Of Polymorphism – Thierry Coquand, Carl A. Gunter, Glynn Winskel - 1989
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
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
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