The duality of computation.

Pierre-Louis Curien, Hugo Herbelin

Browse the full ICFP paper archive.