Abstraction preservation and subtyping in distributed languages (2006)

Cached

Download Links

by James J. Leifer
Venue:In Proc. ICFP
Citations:10 - 3 self

Active Bibliography

Under consideration for publication in J. Functional Programming 1 – Non-parametric Parametricity, Georg Neis, Derek Dreyer, Andreas Rossberg - 2011
12 Non-parametric Parametricity – Georg Neis, Derek Dreyer, Andreas Rossberg - 2010
1 Building continuous webbed models for System F – S. Berardi, C. Berline - 2000
An Introduction to Typed Assembly Language – David Walker - 2002
Liberalizing Dependency – Avik Chaudhuri
4 An Introduction to Polymorphic Lambda Calculus – John C. Reynolds - 1994
11 Structuring Specifications in-the-Large and in-the-Small: Higher-Order Functions, Dependent Types and Inheritance in SPECTRAL – Bernd Krieg-Br├╝ckner, Donald Sannella
7 A New Paradox in Type Theory – Thierry Coquand - 1994
4 Logical Relations and Data Abstraction – John Power, Edmund Robinson - 1996
16 On functors expressible in the polymorphic typed lambda calculus – John C. Reynolds, Gordon D. Plotkin - 1990
Under consideration for publication in J. Functional Programming 1 Translating Dependency into Parametricity – Stephen Tse, Steve Zdancewic
Contents lists available at ScienceDirect The Journal of Logic and Algebraic Programming – Fritz Henglein
59 Proving Security Protocols With Model Checkers By Data Independence Techniques – A. W. Roscoe, P. J. Broadfoot - 1999
53 Types, Abstraction, and Parametric Polymorphism, Part 2 – QingMing Ma, John C. Reynolds - 1991
9 A Game Semantics For Generic Polymorphism – Samson Abramsky, Radha Jagadeesan - 1971
unknown title – unknown authors
9 Models for Persistence in Lazy Functional Programming Systems – David John McNally - 1993
Unifying Nominal and Structural Ad-hoc Polymorphism – Geoffrey Washburn, Stephanie Weirich - 2004
Intermediate Representations of Mobile Code – Wolfram Amme, Thomas S. Heinze, Jeffery Von Ronne - 2007