Towards a Practical Programming Language Based on the Polymorphic Lambda Calculus (1989)

by Peter Lee , Mark Leone , Spiro Michaylov , Frank Pfenning
Citations:2 - 0 self

Active Bibliography

576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
68 Programming with Intersection Types and Bounded Polymorphism – Benjamin C. Pierce - 1991
798 On understanding types, data abstraction, and polymorphism – Luca Cardelli, Peter Wegner - 1985
1353 Monads for functional programming – Philip Wadler - 1995
985 A theory of type polymorphism in programming – Robin Milner - 1978
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
486 JFlow: Practical Mostly-Static Information Flow Control – Andrew C. Myers - 1999
467 Comprehending Monads – Philip Wadler - 1992