CoCaml

swMATH22657MaRDI QIDQ34448FDOQ34448

Author name not available (Why is that?)

Described by source

• CoCaml: Functional Programming with Regular Coinductive Types

Cited In (6)

• Title not available (Why is that?)
• Enhancing expressivity of checked corecursive streams
• Integrating induction and coinduction via closure operators and proof cycles
• Generalizing Inference Systems by Coaxioms
• Nominal Unification and Matching of Higher Order Expressions with Recursive Let
• Title not available (Why is that?)

This page was built for software: CoCaml