Formalizing Implementation Strategies for First-Class Continuations.

Olivier Danvy

Browse the full ESOP paper archive.