Paolo Perrone. Monads, partial evaluations, and rewriting.
Channel: MFPS 2020
Date: 2020-05-29

Paolo Perrone and Tobias Fritz. Monads, partial evaluations, and rewriting.