Sciweavers

31686 search results - page 185 / 6338
» Resource typing in Guru
Sort
View
96
Voted
FORTE
2009
14 years 10 months ago
A Type Graph Model for Java Programs
Arend Rensink, Eduardo Zambon
ICAART
2009
INSTICC
14 years 10 months ago
Data Type Management in a Data Mining Application Framework
Lauri Tuovinen, Perttu Laurinen, Juha Röning
46
Voted
CORR
2010
Springer
59views Education» more  CORR 2010»
14 years 9 months ago
Types for BioAmbients
Sara Capecchi, Angelo Troina
73
Voted
CORR
2010
Springer
63views Education» more  CORR 2010»
14 years 7 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...