Sciweavers

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