A typechecker plugin for units of measure: domain-specific constraint solving in GHC Haskell.
Adam GundryPublished in: Haskell (2015)
Keyphrases
- constraint solving
- domain specific
- constraint logic programming
- constraint propagation
- constraint satisfaction problems
- domain independent
- constraint solver
- constraint satisfaction
- general purpose
- constraint programming
- programming language
- distance measure
- finite domain
- similarity measure
- constraint solvers
- heuristic search
- contextual information
- video sequences
- search engine