Sciweavers

1412 search results - page 3 / 283

» types 2004

19

TYPES
2004
Springer

78views Formal Methods» more TYPES 2004»

Interfaces as Games, Programs as Strategies

14 years 1 months ago

Interfaces as Games, Programs as Strategies

Download types2004.lri.fr

Markus Michelbrink

claim paper

Read More »

18

TYPES
2004
Springer

94views Formal Methods» more TYPES 2004»

Surreal Numbers in Coq

14 years 1 months ago

Surreal Numbers in Coq

Download types2004.lri.fr

Lionel Elie Mamane

claim paper

Read More »

26

TYPES
2004
Springer

83views Formal Methods» more TYPES 2004»

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

14 years 1 months ago

A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis

Download gallium.inria.fr

Yves Bertot, Benjamin Grégoire, Xavier Lero...

claim paper

Read More »

25

LOPSTR
2004
Springer

87views Automated Reasoning» more LOPSTR 2004»

Logical Mobility and Locality Types

14 years 1 months ago

Logical Mobility and Locality Types

Download www.cs.cmu.edu

Jonathan Moody

claim paper

Read More »

22

CORR
2004
Springer

104views Education» more CORR 2004»

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

13 years 8 months ago

Multi-dimensional Type Theory: Rules, Categories, and Combinators for Syntax and Semantics

Download akira.ruc.dk

Jørgen Villadsen

claim paper

Read More »

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