×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [computational reflection]
Internal Deduction and Decision Procedures of the Four Colour Theorem Georges Gonthier Microsoft Research Cambridge Joint Inria-Microsoft Research Center
216 views
Reflection in Scala Whats, Whys and Hows - Walter Cazzola (Dipartimento di Informatica - Università degli Studi di Milano)
779 views
Software Engineering for Web Applications
157 views
Asse2001
219 views
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,
216 views
An AOP Implementation Framework for Extending Join Point Models
31 views