2440 search results - page 222 / 488 » Explanation-Based Feature Construction |
151
click to vote
ICFP
2008
ACM
16 years 5 months ago
2008
ACM
HMF is a conservative extension of Hindley-Milner type inference with first-class polymorphism. In contrast to other proposals, HML uses regular System F types and has a simple ty...
133
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
134
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
t programming techniques encourage abstraction and reuse through external linking. Some parts of a program, however, must use concrete, internally specified references, so a pure ...
144
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
MLF is a type system that extends a functional language with impredicative rank-n polymorphism. Type inference remains possible and only in some clearly defined situations, a loca...
140
click to vote
ICFP
2005
ACM
16 years 5 months ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...