Levity polymorphism.

Richard A. Eisenberg, Simon Peyton Jones

Browse the full PLDI paper archive.