Sciweavers

31686 search results - page 138 / 6338

» Resource typing in Guru

23

ESOP
2005
Springer

117views Programming Languages» more ESOP 2005»

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

14 years 2 months ago

Instant Polymorphic Type Systems for Mobile Process Calculi: Just Add Reduction Rules and Close

Download henning.makholm.net

Henning Makholm, J. B. Wells

claim paper

Read More »

26

FCT
2005
Springer

82views Applied Computing» more FCT 2005»

A Type System for Computationally Secure Information Flow

14 years 2 months ago

A Type System for Computationally Secure Information Flow

Download www.cs.ut.ee

Peeter Laud, Varmo Vene

claim paper

Read More »

25

LOPSTR
2005
Springer

131views Automated Reasoning» more LOPSTR 2005»

Converting One Type-Based Abstract Domain to Another

14 years 2 months ago

Converting One Type-Based Abstract Domain to Another

Download clip.dia.fi.upm.es

John P. Gallagher, Germán Puebla, Elvira Al...

claim paper

Read More »

28

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

14 years 2 months ago

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

Download www-users.cs.umn.edu

Gopalan Nadathur, Xiaochu Qi

claim paper

Read More »

16

OOPSLA
2005
Springer

126views Security Privacy» more OOPSLA 2005»

Associated types and constraint propagation for mainstream object-oriented generics

14 years 2 months ago

Associated types and constraint propagation for mainstream object-oriented generics

Download parasol.tamu.edu

Jaakko Järvi, Jeremiah Willcock, Andrew Lumsd...

claim paper

Read More »

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