As somebody who had fun reading "Types & Programming Languages" long, long ago, I'm looking forward to reading this: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html …
10:36 PM - 13 Dec 2015
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.