Davide Ancona, Pietro Barbieri, Elena Zucca. Enhancing Expressivity of Checked Corecursive Streams. In Michael Hanus, Atsushi Igarashi, editors, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings. Volume 13215 of Lecture Notes in Computer Science, pages 1-18, Springer, 2022. [doi]
No reviews for this publication, yet.