High-Level Language Facilities for Low-Level Services.

Christopher W. Fraser, David R. Hanson

Browse the full POPL paper archive.