[Checkers] Universe Type System Checker

Mahmood Ali mahmood at MIT.EDU
Tue Dec 2 18:03:06 EST 2008

Greetings Phokham,

Thank you very much for your noting the bugs that you have  
experience.  We appreciate your input on how to improve the framework  
and to ease introducing the framework to new type system writers.

I will review your notes and respond to you promptly.


More information about the checkers mailing list