Showing cs.PLShow all
2 papers · 1 filter
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…