CoCaml

swMATH22657MaRDI QIDQ34448FDOQ34448

Author name not available (Why is that?)

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

Described by source

• CoCaml: functional programming with regular coinductive types

Cited In (12)

• Title not available (Why is that?)
• Generalizing inference systems by coaxioms
• Enhancing expressivity of checked corecursive streams
• Fudgets
• Paco
• CoALP
• ocaml-cyclist
• coFJ
• Integrating induction and coinduction via closure operators and proof cycles
• Zooid
• Nominal Unification and Matching of Higher Order Expressions with Recursive Let
• Title not available (Why is that?)

This page was built for software: CoCaml