Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick.

Ralf Hinze

Browse the full MPC paper archive.