README

• COMP2002 - Group Projects [Full Year]
• COMP2003 - Adv. Functional Programming [Spring]
• COMP2006 - C++ Programming [Spring]
• COMP2007 - Operating Systems & Concurrency [Autumn]
• COMP2009 - Algorithms, Correctness & Efficiency [Full Year]
  • IFR - Introduction to Formal Reasoning [Autumn]
  • ADE - Algorithms, Data Structures, and Efficiency [Spring]
• COMP2012 - Languages and Computation [Spring]
  • PDFContent
• COMP2013 - Developing Maintainable Software [Autumn]
• COMP2014 - Distributed Systems [Spring]