Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center.
Reflection in Scala Whats, Whys and Hows - Walter Cazzola (Dipartimento di Informatica - Università degli Studi di Milano)
Software Engineering for Web Applications
Asse2001
6.894, Spring 2001 - OODL Overview - Greg Sullivan - February 8 1 6.894 Administrivia Sign up for paper presentations on 2/27. –look at titles, find papers,
An AOP Implementation Framework for Extending Join Point Models