Sciweavers

31686 search results - page 53 / 6338
» Resource typing in Guru
Sort
View
IANDC
2002
59views more  IANDC 2002»
13 years 7 months ago
Type Inference for Variant Object Types
Michele Bugliesi, Santiago M. Pericás-Geert...
CORR
2009
Springer
85views Education» more  CORR 2009»
13 years 5 months ago
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
Vasco Thudichum Vasconcelos, Francisco Martins, Ti...
CORR
2011
Springer
167views Education» more  CORR 2011»
13 years 2 months ago
Type Classes for Mathematics in Type Theory
Bas Spitters, Eelis van der Weegen