Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Bidirectional typechecking, in which terms either synthesize a type or are checked against a known type, has become popular for its scalability (unlike Damas-Milner type inference, bidirectional typing remains decidable even for very expressive type systems), its error reporting, and its relative ea...
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Artículo |
| Publicado: |
2013
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/1306.6032 http://arxiv.org/abs/1306.6032 |
| Etiquetas: |
Sin Etiquetas, Sea el primero en etiquetar este registro!
|