Enhancing expressivity of checked corecursive streams
From MaRDI portal
Publication:2163153
DOI10.1007/978-3-030-99461-7_1OpenAlexW4285287304MaRDI QIDQ2163153
Pietro Barbieri, Davide Ancona, Elena Zucca
Publication date: 10 August 2022
Full work available at URL: https://arxiv.org/abs/2202.06868
Related Items
Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fundamental properties of infinite trees
- Enhancing expressivity of checked corecursive streams
- A productivity checker for logic programming
- Generalizing Inference Systems by Coaxioms
- Concrete stream calculus: An extended study
- A Theoretical Perspective of Coinductive Logic Programming
- CoCaml: Functional Programming with Regular Coinductive Types
- A coinductive calculus of streams
- Flexible coinductive logic programming
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Coalgebraic logic programming: from Semantics to Implementation