2362 search results - page 250 / 473 » Programming in Standard ML |
135
click to vote
FPCA
1989
15 years 8 months ago
1989
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...
147
click to vote
ICSE
2011
IEEE-ACM
14 years 8 months ago
2011
IEEE-ACM
Dynamic software updates (DSU) are one of the top-most features requested by developers and users. As a result, DSU is already standard in many dynamic programming languages. But,...
143
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
The goal of this work is to recover human body configurations from static images. Without assuming a priori knowledge of scale, pose or appearance, this problem is extremely chall...
273
click to vote
CP
2009
Springer
16 years 5 months ago
2009
Springer
Decision tree induction techniques attempt to find small trees that fit a training set of data. This preference for smaller trees, which provides a learning bias, is often justifie...
145
click to vote
ICFP
2007
ACM
16 years 4 months ago
2007
ACM
The MLF type system by Le Botlan and R?emy (2003) is a natural extension of Hindley-Milner type inference that supports full firstclass polymorphism, where types can be of higher-...