Sciweavers

121 search results - page 5 / 25

» Parametric polymorphism for XML

114

Voted

TYPES
2007
Springer

136views Formal Methods» more TYPES 2007»

A Logic for Parametric Polymorphism with Effects

15 years 11 months ago

A Logic for Parametric Polymorphism with Effects

Download users.dimi.uniud.it

Rasmus Ejlers Møgelberg, Alex Simpson

claim paper

Read More »

127

Voted

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 10 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 »

116

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

15 years 5 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 »

82

Voted

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

15 years 4 months ago

Parametric polymorphism and operational equivalence

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

107

Voted

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

15 years 3 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 »