Type Soundness for Path Polymorphism
Path polymorphism is the ability to define functions that can operate uniformly over arbitrary recursively specified data structures. Its essence is captured by patterns of the form xy which decompose a compound data structure into its parts. Typing these kinds of patterns is challenging since the t...
Guardado en:
| Autor principal: | Bonelli, Eduardo |
|---|---|
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v323_n_p235_Viso http://hdl.handle.net/20.500.12110/paper_15710661_v323_n_p235_Viso |
| Aporte de: |
Ejemplares similares
-
Type Soundness for Path Polymorphism
por: Viso, A., et al. -
Ecient type checking for path polymorphism
por: Edi, J., et al. -
Ecient type checking for path polymorphism
Publicado: (2018) -
Factoring Derivation Spaces via Intersection Types
Publicado: (2018) -
Factoring Derivation Spaces via Intersection Types
por: Barenbaum, P., et al.