Proofs are Programs - Google Search

Related

• Publications - Microsoft Research

  research.microsoft.com · 2011-09-20 · Page

• big list - What papers should everyone read? - Theoretical Computer Science - Stack Exchange

  cstheory.stackexchange.com · 2011-01-12 · Page

• Best paper awards for AAAI, CHI, KDD, SIGMOD, ICML, SIGIR, CIKM, WWW, VLDB, IJCAI, UIST

  jeffhuang.com · 2010-12-30 · Page

• Classic Texts of Computer science

  zafar.se · 2006-01-08 · Page

• You Say You Want A CS Education?

  thesimplelogic.com · 2012-09-27 · Page

  Complete 4 year (8sem) CS education using MOOCs. Excellent!

• Advanced Computer Science Courses : Paper Trail

  the-paper-trail.org · 2011-06-09 · Page

  a list of courses online