Higher-Order Modules and the Phase Distinction.

Robert Harper, John C. Mitchell, Eugenio Moggi

Browse the full POPL paper archive.