Modular Product Programs

Marco Eilers, Peter Müller 0001, Samuel Hitz. Modular Product Programs. ACM Transactions on Programming Languages and Systems, 42(1), 2020. [doi]

Abstract

Abstract is missing.