Inferring Types for Parallel Programs
| Title | Inferring Types for Parallel Programs |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Martins, F., V. Thudichum Vasconcelos, and H. Hüttel |
| Journal | arXiv preprint arXiv:1704.03096 |
LASIGE is supported by FCT, project UIDB/00408/2020
