Local Type Inference for Context-Free Session Types
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912397449494528 |
|---|---|
| author | Almeida, Bernardo Mordido, Andreia Vasconcelos, Vasco T. |
| author_facet | Almeida, Bernardo Mordido, Andreia Vasconcelos, Vasco T. |
| contents | We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_20855 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Local Type Inference for Context-Free Session Types Almeida, Bernardo Mordido, Andreia Vasconcelos, Vasco T. Programming Languages We address the problem of local type inference for a language based on System F with context-free session types. We present an algorithm that leverages the bidirectional type checking approach to propagate type information, enabling first class polymorphism while addressing the intricacies brought about by the sequential composition operator and type equivalence. The algorithm improves the language's usability by eliminating the need for type annotations at type application sites. |
| title | Local Type Inference for Context-Free Session Types |
| topic | Programming Languages |
| url | https://arxiv.org/abs/2505.20855 |