16 search results - page 4 / 4 » Generalizing DPLL to Richer Logics |
ICFP
2010
ACM
13 years 6 months ago
2010
ACM
Type classes have found a wide variety of uses in Haskell programs, from simple overloading of operators (such as equality or ordering) to complex invariants used to implement typ...