- 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 programming
Linking pages
Related searches:
Search whole site: site:existentialtype.wordpress.com
Search title: Existential Type
See how to search.