2362 search results - page 72 / 473 » Programming in Standard ML |
143
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
149
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Generalized algebraic data types (GADTs) have received much attention recently in the functional programming community. They generalize the (type) parameterized algebraic datatype...
119
Voted
CG
2006
Springer
15 years 7 months ago
2006
Springer
We show that a proper equilibrium of a matrix game can be found in polynomial time by solving a linear (in the number of pure strategies of the two players) number of linear progra...
129
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
: This is a position paper introducing blob computing: A Blob is a generic primitive used to structure a uniform computing substrate into an easier-to-program parallel virtual mach...
156
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
Fitness functions based on test cases are very common in Genetic Programming (GP). This process can be assimilated to a learning task, with the inference of models from a limited n...