770 search results - page 46 / 154 » Dinatural Terms in System F |
ICFP
2003
ACM
15 years 9 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...
DSS
2008
14 years 10 months ago
2008
Most recommender systems present recommended products in lists to the user. By doing so, much information is lost about the mutual similarity between recommended products. We prop...
109
click to vote
GROUP
2010
ACM
14 years 7 months ago
2010
ACM
Previous research has motivated the idea of automatically determining when programmers are having difficulty, provided an initial algorithm (unimplemented in an actual system), an...
103
click to vote
ICAC
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we design, implement and evaluate AdaptGuard, a software service for guarding adaptive systems, such as QoS-adaptive servers, from instability caused by software an...