Sciweavers

6 search results - page 1 / 2

» tlca 1997

12

TLCA
1997
Springer

89views Theoretical Computer Science» more TLCA 1997»

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

13 years 9 months ago

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

Download www.brics.dk

Ian Stark

claim paper

Read More »

15

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

13 years 9 months ago

Typed Intermediate Languages for Shape Analysis

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

13

TLCA
1997
Springer

94views Theoretical Computer Science» more TLCA 1997»

Primitive Recursion for Higher-Order Abstract Syntax

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

9

TLCA
1997
Springer

81views Theoretical Computer Science» more TLCA 1997»

Proof Nets, Garbage, and Computations

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

15

TLCA
1997
Springer

97views Theoretical Computer Science» more TLCA 1997»

Games and Weak-Head Reduction for Classical PCF

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