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

Many program optimisations involve transforming a program in direct style to an equivalent program in continuation-passing style. This paper investigates the theoretical underpinnings of this transformation in the categorical setting of monads. We argue that so-called absolute Kan Extensions underli...

Deskribapen osoa

Xehetasun bibliografikoak
Egile nagusia: Hinze, R
Formatua: Conference item
Argitaratua: Springer Berlin / Heidelberg 2012