TLCA 1997 | Sciweavers

We present new sound and complete axiomatizations of type equality and subtype inequality for a ﬁrst-order type language with regular recursive types. The rules are motivated by ...

Michael Brandt, Fritz Henglein

claim paper

Read More »

33

click to vote

TLCA
1997
Springer

97views Theoretical Computer Science» more TLCA 1997»

Games and Weak-Head Reduction for Classical PCF

14 years 7 months ago

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 »

36

click to vote

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

14 years 7 months ago

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper