Sciweavers

31686 search results - page 125 / 6338

» Resource typing in Guru

23

JOT
2007

73views more JOT 2007»

Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance

13 years 9 months ago

Open Types and Bidirectional Relationships as an Alternative to Classes and Inheritance

Download www.jot.fm

Christian Heinlein

claim paper

Read More »

23

CORR
2004
Springer

104views Education» more CORR 2004»

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

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

23

JPL
1998

59views more JPL 1998»

Implicitly synchronized abstract data types: data structures for modular parallel programming

13 years 8 months ago

Implicitly synchronized abstract data types: data structures for modular parallel programming

Download people.csail.mit.edu

Martin C. Rinard

claim paper

Read More »

25

CORR
2010
Springer

79views Education» more CORR 2010»

Semantics of a Typed Algebraic Lambda-Calculus

13 years 8 months ago

Semantics of a Typed Algebraic Lambda-Calculus

Download www.monoidal.net

Benoît Valiron

claim paper

Read More »

15

CORR
2009
Springer

54views Education» more CORR 2009»

Session Types at the Mirror

13 years 6 months ago

Session Types at the Mirror

Download www.di.unito.it

Luca Padovani

claim paper

Read More »

« Prev « First page 125 / 6338 Last » Next »