diff options
Diffstat (limited to '')
| -rw-r--r-- | documentation/bookmark/recursion_schemes.md (renamed from documentation/bookmark/Recursion schemes.md) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/documentation/bookmark/Recursion schemes.md b/documentation/bookmark/recursion_schemes.md index fe65ffca6..94951b99c 100644 --- a/documentation/bookmark/Recursion schemes.md +++ b/documentation/bookmark/recursion_schemes.md @@ -1,5 +1,6 @@ # Reference +1. [Unifying Structured Recursion Schemes](https://www.cs.ox.ac.uk/people/nicolas.wu/papers/URS.pdf) 1. http://maartenfokkinga.github.io/utwente/mmf91m.pdf 1. http://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/ 1. http://blog.sumtypeofway.com/recursion-schemes-part-2/ |