2914 search results - page 16 / 583 » Learning and Inference with Constraints |
116
Voted
SAS
1994
Springer
15 years 3 months ago
1994
Springer
Constraint-based analysis is a technique for inferring implementation types. Traditionally it has been described using mathematical formalisms. We explain it in a different and mor...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
APLAS
2003
ACM
2003
ACM
Type Inference with Structural Subtyping: A Faithful Formalization of an Efficient Constraint Solver
15 years 5 months ago
CPM
2010
Springer
15 years 4 months ago
2010
Springer
CP
2000
Springer
15 years 4 months ago
2000
Springer
