most citedLinear Contextual Metaprogramming and Session Types

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2024★ 2 cited

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…