Sciweavers

5465 search results - page 20 / 1093

» Assigning Types to Processes

18

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 1 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 »

25

LPAR
2005
Springer

97views Automated Reasoning» more LPAR 2005»

Optimizing the Runtime Processing of Types in Polymorphic Logic Programming Languages

14 years 1 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 »

17

TGC
2005
Springer

87views Applied Computing» more TGC 2005»

Typed Processes in Untyped Contexts

14 years 29 days ago

Typed Processes in Untyped Contexts

Download www.dsi.unive.it

Michele Bugliesi, Marco Giunti

claim paper

Read More »

20

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

13 years 11 months ago

Recursive Types in Games: Axiomatics and Process Representation

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

17

LICS
1995
IEEE

88views Automated Reasoning» more LICS 1995»

A Typed Calculus of Synchronous Processes

13 years 11 months ago

A Typed Calculus of Synchronous Processes

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan

claim paper

Read More »

« Prev « First page 20 / 1093 Last » Next »