Explore >> Select a destination
|
You are here 
|
aaronlevin.ca | ||
| | | | |
lexi-lambda.github.io
|
|
| | | | | ||
| | | | |
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.haskellforall.com
|
|
| | | | | Prelude Some time ago I asked a question on /r/haskell about what unique purpose GADTs served that other language features could not prov... | |
| | | | |
www.github.com
|
|
| | | Julie Cogley Portfolio Site. Contribute to juliecogley/julie_portfolio development by creating an account on GitHub. | ||
