So You Want To Get Into Theoretical Computer Science 28 October 2018 CS Computer Science PoPL #paper #reading #howto