Types, Abstraction, and Parametric Polymorphism, Part 2 (1991)

Cached

Download Links

by QingMing Ma , John C. Reynolds
Citations:53 - 1 self

Active Bibliography

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
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
67 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
6 The Girard-Reynolds isomorphism – Philip Wadler - 2001
1 Relational Limits in General Polymorphism – Ryu Hasegawa, Ryu Hasegawa - 1993
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
5 The Girard-Reynolds isomorphism (second edition – Philip Wadler, Jean-yves Girard - 2004
103 On The Type Structure of Standard ML – Robert Harper, John C. Mitchell - 1993
Type Theory for Programming Languages – Robert Harper - 1994
260 Compiling polymorphism using intensional type analysis – Robert Harper, Greg Morrisett - 1995
1 Proving Properties of Typed Lambda Terms Using Realizability, Covers, and Sheaves – Jean Gallier, Jean Gallier - 1995
βη-complete models for System F – Stefano Berardi, Chantal Berline - 2000
Proving Properties of Typed λ-Terms Using Realizability, Covers, and Sheaves – Jean Gallier - 1995
23 Correspondence between Operational and Denotational Semantics – C. -h. L. Ong - 1995
8 A Study of Semantics, Types, and Languages for Databases and Object Oriented Programming – Atsushi Ohori - 1989