[Prev][Next][Index][Thread]
type inference visualization
-
To: types@cis.upenn.edu
-
Subject: type inference visualization
-
From: Hugo Simoes <hsimoes@dcc.online.pt>
-
Date: Wed, 25 Jun 2003 16:06:34 +0100
-
User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.3b) Gecko/20021213
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