Productive coprogramming with guarded recursion (Q5244800)
From MaRDI portal
scientific article; zbMATH DE number 6421039
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Productive coprogramming with guarded recursion |
scientific article; zbMATH DE number 6421039 |
Statements
Productive coprogramming with guarded recursion (English)
0 references
30 March 2015
0 references
coalgebras
0 references
corecursion
0 references
guarded recursion
0 references
total functional programming
0 references
