CoCaml

swMATH22657MaRDI QIDQ34448

No author found.

Described by source

• CoCaml: Functional Programming with Regular Coinductive Types

Related Items (6)

Nominal Unification and Matching of Higher Order Expressions with Recursive Let ⋮ Enhancing expressivity of checked corecursive streams ⋮ Generalizing Inference Systems by Coaxioms ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Integrating induction and coinduction via closure operators and proof cycles

This page was built for software: CoCaml