BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

Title
Inferring Types for Parallel Programs

Participants in the publication
Francisco Martins (Author)
Dep. Informática
 LASIGE
 Vasco Thudichum Vasconcelos (Author)
Dep. Informática
 LASIGE
 Hans Hüttel (Author)

Date of Publication
2017-04-08

Where published
Electronic Proceedings in Theoretical Computer Science

Publication Identifiers
ISSN - 2075-2180

Publisher
Open Publishing Association

Volume
246

Number of pages
8
Starting page
28
Last page
36

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


Export

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 }