diff options
| author | Eduardo Julian | 2020-06-01 20:16:32 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2020-06-01 20:16:32 -0400 |
| commit | a6987ad82f107df49853e1601b73076d030d6fc8 (patch) | |
| tree | b5562ec12fcee4a87b0c6ca4d485e7ac82ffbfec /documentation | |
| parent | 1546feb83e8e821ee8bbf3dea736a49a072bcd52 (diff) | |
Implemented an optimization for getting fields/slots from records in the new compiler.
Diffstat (limited to 'documentation')
| -rw-r--r-- | documentation/research/Recursion schemes.md | 16 | ||||
| -rw-r--r-- | documentation/research/math.md | 5 |
2 files changed, 21 insertions, 0 deletions
diff --git a/documentation/research/Recursion schemes.md b/documentation/research/Recursion schemes.md new file mode 100644 index 000000000..fe65ffca6 --- /dev/null +++ b/documentation/research/Recursion schemes.md @@ -0,0 +1,16 @@ +# Reference + +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/) + diff --git a/documentation/research/math.md b/documentation/research/math.md index 572cd064a..5c4363680 100644 --- a/documentation/research/math.md +++ b/documentation/research/math.md @@ -1,3 +1,8 @@ +# Geometry + +1. [Perspectives on Projective Geometry: A Guided Tour through Real and Complex Geometry](https://www-m10.ma.tum.de/foswiki/pub/Lehre/WS0910/ProjektiveGeometrieWS0910/GeomBook.pdf) +1. [Symplectic Geometry for Engineers - Fundamentals](https://www.researchgate.net/publication/338124384_Symplectic_Geometry_for_Engineers_-_Fundamentals) + # Prime number 1. [The History of the Primality of One: A Selection of Sources](https://cs.uwaterloo.ca/journals/JIS/VOL15/Caldwell2/cald6.pdf) |