Sciweavers

291 search results - page 8 / 59

» A Logic for Parametric Polymorphism

65

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

14 years 9 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 »

37

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

14 years 9 months ago

Parametric polymorphism and operational equivalence

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

59

JFP
2010

63views more JFP 2010»

Parametricity, type equality, and higher-order polymorphism

14 years 8 months ago

Parametricity, type equality, and higher-order polymorphism

Download www.cis.upenn.edu

Dimitrios Vytiniotis, Stephanie Weirich

claim paper

Read More »

56

MSCS
2010

86views more MSCS 2010»

Realisability semantics of parametric polymorphism, general references and recursive types

14 years 8 months ago

Realisability semantics of parametric polymorphism, general references and recursive types

Download www.itu.dk

tations of imperative abstract data types.

Lars Birkedal, Kristian Støvring, Jacob Tha...

claim paper

Read More »

61

ESOP
2004
Springer

128views Programming Languages» more ESOP 2004»

Answer Type Polymorphism in Call-by-Name Continuation Passing

15 years 2 months ago

Answer Type Polymorphism in Call-by-Name Continuation Passing

Download www.cs.bham.ac.uk

Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...

Hayo Thielecke

claim paper

Read More »

« Prev « First page 8 / 59 Last » Next »