824 search results - page 2 / 165 » Type Processing by Constraint Reasoning |
FLOPS
2010
Springer
14 years 25 days ago
2010
Springer
LICS
2000
IEEE
13 years 10 months ago
2000
IEEE
ICFP
2008
ACM
14 years 6 months ago
2008
ACM
MLF is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type ...
AMAI
2004
Springer
13 years 11 months ago
2004
Springer
The majority of the work in the area of Markov decision processes has focused on expected values of rewards in the objective function and expected costs in the constraints. Althou...
LPAR
2005
Springer
13 years 11 months ago
2005
Springer
