Albert R. Meyer, John C. Mitchell, Eugenio Moggi, Richard Statman
Browse the full POPL paper archive.