Sciweavers

1828 search results - page 45 / 366
» First-Class Type Classes
Sort
View
SAS
1994
Springer
136views Formal Methods» more  SAS 1994»
15 years 3 months ago
Constraint-Based Type Inference and Parametric Polymorphism
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
Ole Agesen
ICDAR
2009
IEEE
14 years 9 months ago
Image Classification to Improve Printing Quality of Mixed-Type Documents
Functional image classification is the assignment of different image types to separate classes to optimize their rendering for reading or other specific end task, and is an import...
Rafael Dueire Lins, Gabriel Pereira e Silva, Steve...
ICSE
2007
IEEE-ACM
15 years 6 months ago
Assessing Changeability by Investigating the Propagation of Change Types
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
Beat Fluri
ECOOP
1998
Springer
15 years 4 months ago
Reflection for Statically Typed Languages
Abstract. An object-oriented language that permits changing the behavior of a class or of a single object is said to support computational reflection. Existing reflective facilitie...
José de Oliveira Guimarães
SPEECH
2010
123views more  SPEECH 2010»
14 years 6 months ago
Native and non-native listeners' perception of English consonants in different types of noise
This paper shows that the effect of different types of noise on recognition of different phonemes by native versus non-native listeners is highly variable, even within classes of ...
Mirjam Broersma, Odette Scharenborg