"Linear Contextual Metaprogramming and Session Types."

Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos (2024)

Details and statistics

DOI: 10.4204/EPTCS.401.1

access: open

type: Conference or Workshop Paper

metadata version: 2024-06-12