Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

APLAS
2010
ACM

favoriteEmaildiscussreport

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 4 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

Real-time Traffic

APLAS 2010 | Programming Languages |

claim paper

Related Content

» Parametric Domaintheoretic Models of Polymorphic Intuitionistic Linear Lambda Calculus

» Linear Dependent Types and Relative Completeness

» Translating dependency into parametricity

» Typed Normal Form Bisimulation for Parametric Polymorphism

» A Logic for Parametric Polymorphism

» Continuity and Discontinuity in Lambda Calculus

» Propositions as sessions

» Light types for polynomial time computation in lambdacalculus

» Embedding Pure Type Systems in the LambdaPiCalculus Modulo

Post Info
More Details (n/a)

Added	05 Dec 2010
Updated	05 Dec 2010
Type	Conference
Year	2010
Where	APLAS
Authors	Jianzhou Zhao, Qi Zhang, Steve Zdancewic

Comments (0)