2 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
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…