Exportar referência
APA
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel, (2017). Inferring Types for Parallel Programs. Electronic Proceedings in Theoretical Computer Science, 246, 28-36. ISSN 2075-2180. eISSN . http://dx.doi.org/10.4204/eptcs.246.6
IEEE
Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel, "Inferring Types for Parallel Programs" in Electronic Proceedings in Theoretical Computer Science, vol. 246, pp. 28-36, 2017.
10.4204/eptcs.246.6
BIBTEX
@article{41855,
author = {Francisco Martins and Vasco Thudichum Vasconcelos and Hans Hüttel},
title = {Inferring Types for Parallel Programs},
journal = {Electronic Proceedings in Theoretical Computer Science},
year = 2017,
pages = {28-36},
volume = 246
}