Sciweavers

1143 search results - page 3 / 229

» Abstract Syntax and Logic Programming

55

POPL
2008
ACM

92views Programming Languages» more POPL 2008»

Focusing and higher-order abstract syntax

14 years 7 months ago

Focusing and higher-order abstract syntax

Download www.cs.cmu.edu

Noam Zeilberger

claim paper

Read More »

22

ICFP
2008
ACM

114views Programming Languages» more ICFP 2008»

Parametric higher-order abstract syntax for mechanized semantics

14 years 7 months ago

Parametric higher-order abstract syntax for mechanized semantics

Download adam.chlipala.net

Adam J. Chlipala

claim paper

Read More »

21

ICFP
2003
ACM

120views Programming Languages» more ICFP 2003»

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

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

21

LICS
1994
IEEE

151views Automated Reasoning» more LICS 1994»

A Fully Abstract Semantics for Concurrent Graph Reduction

13 years 11 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 »

20

ICFP
2003
ACM

102views Programming Languages» more ICFP 2003»

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

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