Abstract machines, optimal reduction, and streams

Anna Chiara Lai, Marco Pedicini, Mario Piazza. Abstract machines, optimal reduction, and streams. Mathematical Structures in Computer Science, 29(9):1379-1410, 2019. [doi]

Abstract

Abstract is missing.