Bernardo Toninho, Luís Caires, Frank Pfenning. A Decade of Dependent Session Types. In Niccolò Veltri, Nick Benton, Silvia Ghilezan, editors, PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021. ACM, 2021. [doi]
No reviews for this publication, yet.