Sciweavers

13734 search results - page 49 / 2747
» Abstractions of data types
Sort
View
ICFP
2006
ACM
14 years 8 months ago
Boxy types: inference for higher-rank types and impredicativity
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...
ICDM
2009
IEEE
131views Data Mining» more  ICDM 2009»
14 years 3 months ago
Combining Super-Structuring and Abstraction on Sequence Classification
Adrian Silvescu, Cornelia Caragea, Vasant Honavar