A type-based approach to separating protocol from application logic: a case study in hybrid computer programming

TitleA type-based approach to separating protocol from application logic: a case study in hybrid computer programming
Publication TypeConference Paper
Year of Publication2012
AuthorsHulette, G. C., M. J. Sottile, and A. D. Malony
Conference NameEuro -Par International Conference on parallel processing ,27-31 August 2012
PublisherSpringer Berlin Heidelberg
Conference LocationRhodes Island, Greece
ISBN Number978-3-642-32819-0
URLhttp://dl.acm.org/citation.cfm?id=2402428
DOI10.1007/978-3-642-32820-6_6