BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Kind Inference for the FreeST Programming Language

Participants in the publication
Bernardo Almeida (Author)
Andreia Mordido (Author)
Dep. Informática
 LASIGE
 Vasco T. Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2023-04-13

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Event
Electronic Proceedings in Theoretical Computer Science

Publication Identifiers
ISSN - 2075-2180

Publisher
Open Publishing Association

Volume
378

Number of pages
13
Starting page
1
Last page
13

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


Export

APA
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, (2023). Kind Inference for the FreeST Programming Language. Electronic Proceedings in Theoretical Computer Science, 1-13

IEEE
Bernardo Almeida, Andreia Mordido, Vasco T. Vasconcelos, "Kind Inference for the FreeST Programming Language" in Electronic Proceedings in Theoretical Computer Science, , 2023, pp. 1-13, doi: 10.4204/eptcs.378.1

BIBTEX
@InProceedings{59882, author = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos}, title = {Kind Inference for the FreeST Programming Language}, booktitle = {Electronic Proceedings in Theoretical Computer Science}, year = 2023, pages = {1-13}, address = {}, publisher = {Open Publishing Association} }