Explore >> Select a destination
|
You are here 
|
aaronlevin.ca | ||
| | | | |
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... | |
| | | | |
chrispenner.ca
|
|
| | | | | The Personal blog and musings of Chris Penner, a designer, developer and future opsimath. | |
| | | | |
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... | |
| | | | |
fsharpforfunandprofit.com
|
|
| | | Slides and video from my talk | ||
