Category Theory for the Working Hacker by Philip Wadler
November 2016
Awesome Theoretical Computer Science Talks
A curated list of amazing Theoretical Computer Science related conference talks.
GOTO 2015 • Impossible Programs • Tom Stuart
July 2015Jean Yang on An Axiomatic Basis for Computer Programming
December 2014RubyConf 2014 - A Lever for the Mind by Tom Stuart
December 2014Lambda Calculus Then and Now
January 2013Andrew Odlyzko: Turing and the Riemann zeta function
August 2012Barbara Liskov: Programming the Turing Machine
August 2012Philip Wadler: Church’s Coincidences
August 2012
