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

This is a preprint of a paper that has been submitted to Information and Computation. On Functors Expressible in the Polymorphic Typed Lambda Calculus – John C. Reynolds, Gordon D. Plotkin - 1991
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
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978
595 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
458 Domain Theory – Samson Abramsky, Achim Jung - 1994
423 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
1 Building continuous webbed models for System F – S. Berardi, C. Berline - 2000