Sciweavers

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