https://www.cis.upenn.edu/~bcpierce/tapl/ and https://softwarefoundations.cis.upenn.edu/ are excellent resources.
Replying to @andreasdotorg @spimescape
It gets sparse when it comes to good implementation tradeoffs, though.
10:12 AM - 28 Sep 2017
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.