Sciweavers

31686 search results - page 172 / 6338
» Resource typing in Guru
Sort
View
ESWA
2007
107views more  ESWA 2007»
13 years 9 months ago
Hierarchy as a new data type for qualitative variables
Serguei Levachkine, Adolfo Guzmán-Arenas
MSCS
2006
88views more  MSCS 2006»
13 years 9 months ago
Types and typechecking for Communicating Quantum Processes
Simon J. Gay, Rajagopal Nagarajan
MSCS
2006
87views more  MSCS 2006»
13 years 9 months ago
Addressed term rewriting systems: application to a typed object calculus
Daniel J. Dougherty, Pierre Lescanne, Luigi Liquor...
SCP
2008
55views more  SCP 2008»
13 years 9 months ago
XPi: A typed process calculus for XML messaging
Lucia Acciai, Michele Boreale