CoCaml

MaRDI QIDQ34448swMATHFDO

Official website http://www.cs.cornell.edu/Projects/CoCaml/

Described by source

• CoCaml: functional programming with regular coinductive types

Cited in

(12)

• Integrating induction and coinduction via closure operators and proof cycles
• Enhancing expressivity of checked corecursive streams
• Fudgets
• Paco
• CoALP
• Generalizing inference systems by coaxioms
• scientific article; zbMATH DE number 7037626 (Why is no real title available?)
• ocaml-cyclist
• coFJ
• Foundations of regular coinduction
• Nominal Unification and Matching of Higher Order Expressions with Recursive Let
• Zooid

This page was built for software: CoCaml