Jeremy Siek
@jeremysiek
Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
ID:58605190
http://homes.soic.indiana.edu/jsiek/ 20-07-2009 22:02:31
1,6K Tweets
2,7K Followers
366 Following