diff options
author | Eduardo Julian | 2021-06-24 03:42:57 -0400 |
---|---|---|
committer | Eduardo Julian | 2021-06-24 03:42:57 -0400 |
commit | ce1a7a131f7c4df8eae5c019eba2893b56f04d46 (patch) | |
tree | 645c4b42c4b9bff141b7390d9f33f3f1fe4aeea1 /documentation/bookmark/recursion_schemes.md | |
parent | a82bd1eabe94763162c2b0707d9c198fbe9835e3 (diff) |
Added a macro for type-casting JVM objects.
Diffstat (limited to 'documentation/bookmark/recursion_schemes.md')
-rw-r--r-- | documentation/bookmark/recursion_schemes.md | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/documentation/bookmark/recursion_schemes.md b/documentation/bookmark/recursion_schemes.md new file mode 100644 index 000000000..94951b99c --- /dev/null +++ b/documentation/bookmark/recursion_schemes.md @@ -0,0 +1,17 @@ +# 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/ +1. http://blog.sumtypeofway.com/recursion-schemes-part-iii-folds-in-context/ +1. http://blog.sumtypeofway.com/recursion-schemes-part-iv-time-is-of-the-essence/ +1. http://comonad.com/reader/2009/recursion-schemes/ +1. [Peeling the Banana: Recursion Schemes from First Principles - Zainab Ali](https://www.youtube.com/watch?v=XZ9nPZbaYfE) +1. https://github.com/passy/awesome-recursion-schemes +1. [YOW! Lambda Jam 2018 - Amy Wong - Introduction to recursion scheme](https://www.youtube.com/watch?v=YnqPdlJd38o) +1. https://bartoszmilewski.com/2018/08/20/recursion-schemes-for-higher-algebras/ +1. https://blog.sumtypeofway.com/recursion-schemes-part-6-comonads-composition-and-generality/ +1. https://chrilves.github.io/hugo/posts/recursion_schemes_intro/ +1. [Recursion Schemes: A Field Guide (Redux)](http://comonad.com/reader/2009/recursion-schemes/) + |