William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
Browse the full PLDI paper archive.