Enhancing Expressivity of Checked Corecursive Streams

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]

Abstract

Abstract is missing.