Sciweavers

3738 search results - page 11 / 748

» Parametrized Logic Programming

104

Voted

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

16 years 3 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

111

Voted

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

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

16 years 3 months ago

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

Download www.cis.upenn.edu

Geoffrey Washburn, Stephanie Weirich

claim paper

Read More »

98

Voted

APLAS
2000
ACM

98views Programming Languages» more APLAS 2000»

Generic Validation of Structural Content with Parametric Modules

15 years 7 months ago

Generic Validation of Structural Content with Parametric Modules

Download www.sinica.edu.tw

Tyng-Ruey Chuang

claim paper

Read More »

97

Voted

POPL
1997
ACM

100views Programming Languages» more POPL 1997»

Relational Parametricity and Units of Measure

15 years 7 months ago

Relational Parametricity and Units of Measure

Download research.microsoft.com

Andrew Kennedy

claim paper

Read More »

108

Voted

APLAS
2010
ACM

106views Programming Languages» more APLAS 2010»

Relational Parametricity for a Polymorphic Linear Lambda Calculus

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

« Prev « First page 11 / 748 Last » Next »