Explore >> Select a destination
|
You are here 
|
acatalepsie.fr | ||
| | | | |
www.chriswarbo.net
|
|
| | | | | ||
| | | | |
byorgey.wordpress.com
|
|
| | | | | tl;dr: How to compile a functional language via combinators (and evaluate via the Haskell runtime) while keeping the entire process type-indexed, with a bibliography and lots of references for further reading There is a long history, starting with Schönfinkel and Curry, of abstracting away variable names from lambda calculus terms by converting to combinators, aka... | |
| | | | |
www.poberezkin.com
|
|
| | | | | Evgeny Poberezkin's blog | |
| | | | |
github.com
|
|
| | | Playing around with different Y Combinator implementations - calincru/Y-Combinator | ||
