[Prev][Next][Index][Thread]

type inference visualization



Hi

I did a Web application for the visualization of the type inference 
process for the Simple Type System and pure ML. You can "play" with it at:

http://www.ncc.up.pt/typetool

Comments are welcome,
Best regards
Hugo Simões