Sciweavers

1143 search results - page 3 / 229

» Abstract Syntax and Logic Programming

181

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

16 years 4 months ago

Focusing and higher-order abstract syntax

Download www.cs.cmu.edu

Noam Zeilberger

claim paper

Read More »

110

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 »

116

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 »

132

LICS
1994
IEEE

151views Automated Reasoning» more LICS 1994»

A Fully Abstract Semantics for Concurrent Graph Reduction

15 years 8 months ago

A Fully Abstract Semantics for Concurrent Graph Reduction

Download fpl.cs.depaul.edu

abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...

Alan Jeffrey

claim paper

Read More »

133

Voted

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

16 years 3 months ago

Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax

Download users.dimi.uniud.it

Alberto Ciaffaglione, Luigi Liquori, Marino Micula...

claim paper

Read More »

« Prev « First page 3 / 229 Last » Next »