Eunmin Kim

165 Followers

clojure church encoding y combinator lambda calculus monad atomicreference concurrency stm api

9 years ago • 2134 Views

8 years ago • 7353 Views

7 years ago • 1459 Views

7 years ago • 479 Views

Jooyung Han • 9 years ago

clojure church encoding y combinator lambda calculus monad atomicreference concurrency stm api

Presentations