Inferring Types for Parallel Programs

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