discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Reddit
Bob Harper has a blog on programming languages, he is a prominent figure in the world of programming languages and type theory
http://existentialtype.wordpress.com/
40 comments
18/3/2011
programming