Sciweavers

6 search results - page 1 / 2

» tlca 1997

117

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

Names, Equations, Relations: Practical Ways to Reason about new

15 years 10 months ago

Names, Equations, Relations: Practical Ways to Reason about new

Download www.brics.dk

Ian Stark

claim paper

Read More »

127

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 10 months ago

Typed Intermediate Languages for Shape Analysis

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

117

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

15 years 10 months ago

Primitive Recursion for Higher-Order Abstract Syntax

Download www.cs.cmu.edu

Joëlle Despeyroux, Frank Pfenning, Carsten Sc...

claim paper

Read More »

123

Voted

TLCA
1997
Springer

81views Theoretical Computer Science» more TLCA 1997»

Proof Nets, Garbage, and Computations

15 years 10 months ago

Proof Nets, Garbage, and Computations

Download www.ircs.upenn.edu

S TECHNICAL REPORT ABSTRACTS

Stefano Guerrini, Simone Martini, Andrea Masini

claim paper

Read More »

128

TLCA
1997
Springer

97views Theoretical Computer Science» more TLCA 1997»

Games and Weak-Head Reduction for Classical PCF

15 years 10 months ago

Games and Weak-Head Reduction for Classical PCF

Download hal.inria.fr

We present a game model for classical PCF, a nite version of PCF extended by a catch/throw mechanism. This model is build from E-dialogues, a kind of two-players game de ned by Lor...

Hugo Herbelin

claim paper

Read More »

« Prev « First page 1 / 2 Last » Next »