On Termination, Confluence and Consistent CHR-based Type Inference
We consider the application of Constraint Handling Rules (CHR) for the specification of type inference systems, such as that used by Haskell. Confluence of CHR guarantees that the answer provided by type inference is correct and consistent. The standard method for establishing confluence relies on a...
Gardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Artigo |
| Publicado: |
2014
|
| Materias: | |
| Acceso en liña: | https://arxiv.org/abs/1405.3393 http://arxiv.org/abs/1405.3393 |
| Etiquetas: |
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|