[Checkers] Greetings

Mahmood Ali mahmood at MIT.EDU
Sun Sep 14 00:49:39 EDT 2008

Greetings Phokham,

I wanted to thank you again for notifying us about your work with the  
Framework.  I am happy to see framework to be extended to support  
ownership types and other types that we did not work on yet.

Unfortunately, that also means that I do not have much experience with  
your specific domain problems/challenges, but I hope to learn from  
your experience.

Feel free to contact us with your feedback.  Please point us to your  
code once it is made available online.


More information about the checkers mailing list