- Question on tagless final http://okmij.org/ftp/tagless-final/course/lecture.pdf 9 comments scala
- Typed Tagless Final Interpreters [pdf] http://okmij.org/ftp/tagless-final/course/lecture.pdf 3 comments programming
Linking pages
- stan/README.md at main · kowainik/stan · GitHub https://github.com/kowainik/stan/blob/master/README.md 40 comments
- How to implement dependent types in 80 lines of code · GitHub https://gist.github.com/Hirrolot/27e6b02a051df333811a23b97c375196 33 comments
- Uniting Church and State: FP and OO Together - Underscore http://underscore.io/blog/posts/2017/06/02/uniting-church-and-state.html 14 comments
- The Evolution of a Scala Programmer | by Oleksii Avramenko | Medium https://medium.com/@olxc/the-evolution-of-a-scala-programmer-1b7a709fb71f 10 comments
- Mutual Recursion in Final Encoding – Andreas Herrmann http://aherrmann.github.io/programming/2016/05/28/mutual-recursion-in-final-encoding/ 6 comments
- Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust https://open.substack.com/pub/getcode/p/efficient-extensible-expressive-typed?r=1dboko 5 comments
- Efficient, Extensible, Expressive: Typed Tagless Final Interpreters in Rust https://getcode.substack.com/p/efficient-extensible-expressive-typed 0 comments
Related searches:
Search whole site: site:okmij.org
Search title: Question on tagless final
See how to search.