2335 search results - page 305 / 467 » Type Checking Type Classes |
90
Voted
JUCS
2008
15 years 23 days ago
2008
: Functional programs often combine separate parts of the program using intermediate data structures for communicating results. Programs so defined are easier to understand and mai...
111
Voted
JMIV
2006
15 years 23 days ago
2006
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
89
Voted
ENGL
2007
15 years 23 days ago
2007
—Genetic Algorithms (GA) and Evolutionary Programming (EP) are two well-known optimization methods that belong to the class of Evolutionary Algorithms (EA). Both methods have gen...
92
Voted
ENTCS
2007
15 years 23 days ago
2007
We describe the design and implementation of a parser combinator library in Newspeak, a new language in the Smalltalk family. Parsers written using our library are remarkably simi...
SIAMAM
2008
15 years 22 days ago
2008
We consider traveling wave phenomena for a viscoelastic generalization of Burgers' equation. For asymptotically constant velocity profiles we find three classes of solutions c...