26 citations · 159 across the 29 of their papers we have counts for
30 papers
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…
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…
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…
Behavioural Types for Heterogeneous Systems (Position Paper)
Simon Fowler, Philipp Haller, Roland Kuhn +3
Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of b…
Linear Contextual Metaprogramming and Session Types
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos
We explore the integration of metaprogramming in a call-by-value linear lambda-calculus and sketch its extension to a session type system. We build on a model of contextual modal t…
Subtyping Context-Free Session Types
Gil Silva, Andreia Mordido, Vasco T. Vasconcelos
Context-free session types describe structured patterns of communication on heterogeneously-typed channels, allowing the specification of protocols unconstrained by tail recursion.…