Classical (Co)Recursion: Programming

Resource history | v1 (current) | created by jjones on Jul 10, 2021

Details

see v1 | created by jjones on Jul 10, 2021 | Add topic "Corecursion"

Title: Classical (Co)Recursion: Programming
Type: Paper
Created: 2021-03-11
Description: Our aim here is to illustrate how the benefits of structural corecursion can be found in a broader swath of the programming landscape than previously thought. Beginning from a tutorial on structural corecursion in the total, pure functional language Agda, we show how these same ideas are mapped to familiar concepts in a variety of different languages. We show how corecursion can be done in strict functional languages like Scheme, and even escapes the functional paradigm entirely, showing up in the natural expression of common object-oriented features found in languages like Python and Java.
Link: http://arxiv.org/abs/2103.06913
Identifier: no value

This resource has no history of related authors.

v1 | attached by jjones on Jul 10, 2021 | Add topic "Corecursion"

This resource has no history of related resources.