Contextual Metaprogramming for Session Types.

Pedro ngelo, Atsushi Igarashi, Yuito Murase, Vasco T. Vasconcelos

Browse the full ESOP paper archive.