Monads, Partial Evaluations, and Rewriting.

Tobias Fritz, Paolo Perrone

Browse the full MFPS paper archive.