BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Extended abstract/Short paper

Title
Linear Contextual Metaprogramming and Session Types

Participants in the publication
Pedro Ângelo (Author)
Dep. Informática
 Atsushi Igarashi (Author)
Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2024-04-06

Event
Electronic Proceedings in Theoretical Computer Science

Publication Identifiers
ISSN - 2075-2180

Publisher
Open Publishing Association

Volume
401

Number of pages
10
Starting page
1
Last page
10

Document Identifiers
DOI - https://doi.org/10.4204/eptcs.401.1
URL - http://dx.doi.org/10.4204/eptcs.401.1


Export

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} }