Inferring Types for Parallel Programs

TitleInferring Types for Parallel Programs
Publication TypeJournal Article
Year of Publication2017
AuthorsMartins, F., V. Thudichum Vasconcelos, and H. Hüttel
JournalarXiv preprint arXiv:1704.03096