Sciweavers

1313 search results - page 12 / 263
» Generic Universe Types
Sort
View
AC
2003
Springer
13 years 12 months ago
Generic Haskell: Applications
Generic Haskell is an extension of Haskell that supports the construction of generic programs. These lecture notes discuss three advanced generic programming applications: generic ...
Ralf Hinze, Johan Jeuring
ICFP
2008
ACM
14 years 6 months ago
A comparison of c++ concepts and haskell type classes
Earlier studies have introduced a list of high-level evaluation criteria to assess how well a language supports generic programming. Since each language that meets all criteria is...
Jean-Philippe Bernardy, Patrik Jansson, Marcin Zal...
JFP
2006
89views more  JFP 2006»
13 years 6 months ago
Featherweight generic confinement
Existing approaches to object encapsulation and confinement either rely on restrictions to programs or require the use of specialised ownership type systems. Syntactic restriction...
Alex Potanin, James Noble, Dave Clarke, Robert Bid...
ECCV
2006
Springer
14 years 8 months ago
Adapted Vocabularies for Generic Visual Categorization
Several state-of-the-art Generic Visual Categorization (GVC) systems are built around a vocabulary of visual terms and characterize images with one histogram of visual word counts....
Florent Perronnin, Christopher R. Dance, Gabriela ...
SE
2007
13 years 8 months ago
Rules for type-checking of parametric polymorphism in EMF generics
Abstract: The Eclipse infrastructure for modeling is based on EMF, an implementation of Essential MOF, the OMG standard for metamodeling. A recent addition to EMF has been parametr...
Miguel Garcia