Nathan Sorenson

Clojure to Scheme to C to the bare metal.

takeoutweight

Interactive, client-side web apps in Haskell

takeoutweight

Complete and Easy Bidirectional Typechecking for for Higher-Rank Polymorphism in Clojure

takeoutweight

Constraint Handling Rules in Clojure

takeoutweight

Blue-Collar Static Analysis of Clojure Code

takeoutweight