3 papers
cs.FL2026
Simple grammar bisimilarity, with an application to session type equivalence
Diogo Poças, Gil Silva, Vasco T. Vasconcelos
We provide an algorithm for deciding simple grammar bisimilarity whose complexity is polynomial in the valuation of the grammar (maximum seminorm among production rules). Since the…
cs.PL2026
Contextual Metaprogramming for Session Types
Pedro Ãngelo, Atsushi Igarashi, Yuito Murase +1
We propose the integration of staged metaprogramming into a session-typed message passing functional language. We build on a model of contextual modal type theory with multi-level…
cs.PL2025
Local Type Inference for Context-Free Session Types
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos
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 check…