Marco Pedicini (Università Roma Tre), Abstract Machines, Optimal Reduction, and Streams

Schedule