CoCaml: functional programming with regular coinductive types
From MaRDI portal
Publication:4589614
Recommendations
- Coalgebras in functional programming and type theory
- Functional programming with apomorphisms (corecursion)
- Copatterns, programming infinite structures by observations
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- Programming and reasoning with guarded recursion for coinductive types
Cited in
(19)- Classical (co)recursion: Mechanics
- scientific article; zbMATH DE number 1314224 (Why is no real title available?)
- Well-founded coalgebras, revisited
- scientific article; zbMATH DE number 7471662 (Why is no real title available?)
- A mechanized theory of regular trees in dependent type theory
- scientific article; zbMATH DE number 2000441 (Why is no real title available?)
- Checking equivalence of corecursive streams: an inductive procedure
- Checked corecursive streams: expressivity and completeness
- Generalizing inference systems by coaxioms
- CoCaml
- Enhancing expressivity of checked corecursive streams
- scientific article; zbMATH DE number 7649963 (Why is no real title available?)
- \(\mathsf{CoreFun}\): a typed functional reversible core language
- Integrating induction and coinduction via closure operators and proof cycles
- SMT solving for functional programming over infinite structures
- Let's see how things unfold: reconciling the infinite with the intensional (extended abstract)
- scientific article; zbMATH DE number 7168151 (Why is no real title available?)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
This page was built for publication: CoCaml: functional programming with regular coinductive types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4589614)
