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…