A. Scalas, and N. Yoshida. 30th European Conference on Object-Oriented Programming, ECOOP 2016, volume 56 of 30th European Conference on Object-Oriented Programming (ECOOP 2016), page 21:1--21:28. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2016)
DOI: 10.4230/LIPIcs.ECOOP.2016.21