I am a student who enjoys type theory, formal verification, and compilers. I blog about [dys]functional things a lot.
79 What are the safety benefits of a type system? oct 24 '13
58 Why doesn't Java 8 include immutable collections? dec 18 '13
34 What skills (technologies) get outdated slower? oct 6 '13
20 Sets Data Structure in Golang nov 28 '12