1. Behavioral Types in Programming Languages
2. Ezio Bartocci and Yliès Falcone (Eds.). 2018. Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science Vol. 10457. Springer. Ezio Bartocci and Yliès Falcone (Eds.). 2018. Lectures on Runtime Verification - Introductory and Advanced Topics. Lecture Notes in Computer Science Vol. 10457. Springer.
3. Gavin M. Bierman , Martín Abadi , and Mads Torgersen . 2014. Understanding TypeScript . In ECOOP(Lecture Notes in Computer Science, Vol. 8586) . Springer , 257–281. Gavin M. Bierman, Martín Abadi, and Mads Torgersen. 2014. Understanding TypeScript. In ECOOP(Lecture Notes in Computer Science, Vol. 8586). Springer, 257–281.
4. Gavin M. Bierman , Erik Meijer , and Mads Torgersen . 2010. Adding Dynamic Types to C# . In ECOOP(Lecture Notes in Computer Science, Vol. 6183) . Springer , 76–100. Gavin M. Bierman, Erik Meijer, and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP(Lecture Notes in Computer Science, Vol. 6183). Springer, 76–100.
5. Monitoring networks through multiparty session types