A Type-Based Approach to Separating Protocol from Application Logic - A Case Study in Hybrid Computer Programming.

Geoffrey C. Hulette, Matthew J. Sottile, Allen D. Malony

Browse the full EuroPar paper archive.