Explore >> Select a destination
|
You are here 
|
www.joachim-breitner.de | ||
| | | | |
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... | |
| | | | |
blog.jle.im
|
|
| | | | | Weblog of Justin Le, covering various adventures in programming and explorations in the worlds of computation physics, and knowledge. | |
| | | | |
blog.leifbattermann.de
|
|
| | | | | Monoids in Scala and in programming in general is an ubiquitous concept. In this post we will see what Monoids are and play around with them in the REPL. | |
| | | | |
chrispenner.ca
|
|
| | | The Personal blog and musings of Chris Penner, a designer, developer and future opsimath. | ||
