- Closure Conversion as CoYoneda http://prl.ccs.neu.edu/blog/2017/08/28/closure-conversion-as-coyoneda/ 13 comments haskell
Linked pages
- The Yoneda Lemma | Bartosz Milewski's Programming Cafe http://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/ 29 comments
- Data.Functor.Coyoneda http://hackage.haskell.org/package/kan-extensions-5.0.2/docs/Data-Functor-Coyoneda.html 14 comments
- Closure conversion: How to compile lambda http://matt.might.net/articles/closure-conversion/ 12 comments
- Syntactic parametricity strikes again http://prl.ccs.neu.edu/blog/2017/06/05/syntactic-parametricity-strikes-again/ 7 comments
- https://www.cs.ox.ac.uk/people/daniel.james/iso/iso.pdf 6 comments
Would you like to stay up to date with Haskell? Checkout Haskell
Weekly.
Related searches:
Search whole site: site:prl.ccs.neu.edu
Search title: Closure Conversion as CoYoneda
See how to search.