Search Sciweavers | Sciweavers

267 search results - page 6 / 54

» Formal Parametric Polymorphism

click to vote

FOSSACS
2009
Springer

142views Software Engineering» more FOSSACS 2009»

Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types

15 years 6 months ago

Download www.itu.dk

Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general ﬁrst-class references, and recursive types....

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

claim paper

Read More »

click to vote

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism

15 years 11 months ago

Download www.cis.upenn.edu

Geoffrey Washburn, Stephanie Weirich

claim paper

Read More »

click to vote

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

15 years 5 months ago

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

click to vote

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

14 years 12 months ago

Download www.cis.upenn.edu

Jianzhou Zhao, Qi Zhang, Steve Zdancewic

claim paper

Read More »

click to vote

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers