26 citations · 159 across the 29 of their papers we have counts for
3 papers · 1 filter
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…