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!
|
Ejemplares similares: Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
- Sound and Complete Bidirectional Typechecking for Higher-Rank Polymorphism with Existentials and Indexed Types
- Annotations for Intersection Typechecking
- Untangling Typechecking of Intersections and Unions
- Canonical bidirectional typechecking
- Bidirectional Typing
- Elaborating Evaluation-Order Polymorphism