Sciweavers

7529 search results - page 8 / 1506
» The Modula-3 Type System
Sort
View
98
Voted
PE
2010
Springer
142views Optimization» more  PE 2010»
15 years 29 days ago
Performance analysis of email systems under three types of attacks
Yang Wang, Chuang Lin, Quan-Lin Li
CORR
2009
Springer
63views Education» more  CORR 2009»
15 years 11 days ago
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
CORR
2009
Springer
70views Education» more  CORR 2009»
15 years 11 days ago
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Clá...
CORR
2010
Springer
63views Education» more  CORR 2010»
14 years 9 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...