Enhancing expressivity of checked corecursive streams

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

zbMATH Keywords

operational semanticsruntime checkingstream programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items

Enhancing expressivity of checked corecursive streams ⋮ Checked corecursive streams: expressivity and completeness

Uses Software

• CoALP
• CoCaml
• coFJ

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