Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony. A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming. In Christos Kaklamanis, Theodore S. Papatheodorou, Paul G. Spirakis, editors, Euro-Par 2012 Parallel Processing - 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings. Volume 7484 of Lecture Notes in Computer Science, pages 40-51, Springer, 2012. [doi]
Abstract is missing.