Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
We're switching to using OCaml and Jupyter for our first year Foundations of Computer Science at @Cambridge_CL (this is the first programming course in our Tripos). Much fun awaits! https://www.cl.cam.ac.uk/teaching/1920/FoundsCS/focs-201920-v1.1.pdf …
Have y'all thought about how to bridge the gap to Python/Java/etc.? Seems valuable to help students explicitly transfer functional ideas into imperative contexts, rather than them learning two disconnected programming styles.
Yeah, there is a Concepts in PL course in the second year just for this
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
