"Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, ..."

Hidehiko Masuhara, Tomas Petricek (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics