Exportar referência
APA
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos, (2024). Linear Contextual Metaprogramming and Session Types. Electronic Proceedings in Theoretical Computer Science, 1-10
IEEE
Pedro Ângelo, Atsushi Igarashi, Vasco T. Vasconcelos, "Linear Contextual Metaprogramming and Session Types" in Electronic Proceedings in Theoretical Computer Science, , 2024, pp. 1-10,
doi: 10.4204/eptcs.401.1
BIBTEX
@InProceedings{61845,
author = {Pedro Ângelo and Atsushi Igarashi and Vasco T. Vasconcelos},
title = {Linear Contextual Metaprogramming and Session Types},
booktitle = {Electronic Proceedings in Theoretical Computer Science},
year = 2024,
pages = {1-10},
address = {},
publisher = {Open Publishing Association}
}