Maple: a Programming Language, Operating System.

Paul J. Voda

Browse the full POPL paper archive.