Typing, representing, and abstracting control: functional pearl.

Philipp Schuster, Jonathan Immanuel Brachthuser

Browse the full ICFP paper archive.