Search Sciweavers | Sciweavers

43 search results - page 1 / 9

» Parametric polymorphism and operational equivalence

click to vote

MSCS
2000

37views more MSCS 2000»

Parametric polymorphism and operational equivalence

13 years 4 months ago

Download www.cl.cam.ac.uk

Andrew M. Pitts

claim paper

Read More »

click to vote

LICS
2010
IEEE

159views Automated Reasoning» more LICS 2010»

A Generic Operational Metatheory for Algebraic Effects

13 years 3 months ago

Download personal.cis.strath.ac.uk

—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...

Patricia Johann, Alex Simpson, Janis Voigtlän...

claim paper

Read More »

click to vote

TLDI
2009
ACM

169views Formal Methods» more TLDI 2009»

Relational parametricity for references and recursive types

14 years 1 months ago

Download www.itu.dk

We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...

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

claim paper

Read More »

click to vote

ENTCS
2007

82views more ENTCS 2007»

Syntactic Logical Relations for Polymorphic and Recursive Types

13 years 4 months ago

Download www.cs.cmu.edu

The method of logical relations assigns a relational interpretation to types that expresses operational invariants satisﬁed by all terms of a type. The method is widely used in ...

Karl Crary, Robert Harper

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

13 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers