2004-04-15

http://www.cis.upenn.edu/~bcpierce/tapl/ Types and Programming Languages
http://lists.seas.upenn.edu/mailman/listinfo/types-list The TYPES Forum

No comments: