Sciweavers

7529 search results - page 8 / 1506
» The Modula-3 Type System
Sort
View
CORR
2009
Springer
63views Education» more  CORR 2009»
13 years 5 months ago
A Type System for Required/Excluded Elements in CLS
Mariangiola Dezani-Ciancaglini, Paola Giannini, An...
CORR
2009
Springer
70views Education» more  CORR 2009»
13 years 5 months ago
A Type System for Tom
Claude Kirchner, Pierre-Etienne Moreau, Clá...
CORR
2010
Springer
63views Education» more  CORR 2010»
13 years 2 months ago
Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Pablo Arrighi, Alejandro Díaz-Caro, Beno&ic...