7 months ago
Saturday, January 3, 2009
Intro to Formal Type Systems
Cardelli has a great introduction paper to the formalism of type systems and type theory. The math guy in me loves the theory.
Subscribe to:
Post Comments (Atom)
Posts
Comments
No comments:
Post a Comment