Sciweavers

31686 search results - page 122 / 6338
» Resource typing in Guru
Sort
View
RWEB
2005
Springer
14 years 2 months ago
Towards Types for Web Rule Languages
Wlodzimierz Drabent
LOPSTR
2004
Springer
14 years 2 months ago
Logical Mobility and Locality Types
Jonathan Moody