Type-based Enforcement of Infinitary Trace Properties for Java

Serdar Erbatur, Ulrich Schöpp und Chuangjie Xu

PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, pp. 18:1–18:14

2021 · DOI: 10.1145/3479394.3479413