Sciweavers

121 search results - page 5 / 25

» Parametric polymorphism for XML

15

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

14 years 1 months ago

A Logic for Parametric Polymorphism with Effects

Download users.dimi.uniud.it

Rasmus Ejlers Møgelberg, Alex Simpson

claim paper

Read More »

23

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

14 years 1 months ago

Recursive Polymorphic Types and Parametricity in an Operational Framework

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

20

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

13 years 7 months ago

Relational Parametricity for a Polymorphic Linear Lambda Calculus

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

11

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

13 years 7 months ago

Parametric polymorphism and operational equivalence

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

17

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

13 years 5 months ago

Parametricity, type equality, and higher-order polymorphism

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich

claim paper

Read More »

« Prev « First page 5 / 25 Last » Next »