TY  - RPRT
TI  - A Type-based Approach to Separating Protocol from Application Logic.
AU  - Sottile, Matthew
AU  - Hulette, Geoffrey Compton
AU  - Malony, Allen
PY  - 2012
UR  - https://www.osti.gov/biblio/1060467
ID  - 1060467
ER  -