From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id RAA22022; Wed, 25 Jun 2003 17:13:12 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id RAA22164 for ; Wed, 25 Jun 2003 17:13:08 +0200 (MET DST) Received: from imap.alunos.dcc.fc.up.pt (www-dcc-online.ncc.up.pt [193.136.39.101]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id h5PFD1f19746 for ; Wed, 25 Jun 2003 17:13:05 +0200 (MET DST) Received: from www-in.alunos.dcc.fc.up.pt (www-in.alunos.dcc.fc.up.pt [192.168.0.5]) by imap.alunos.dcc.fc.up.pt (Postfix) with ESMTP id B848BF; Wed, 25 Jun 2003 11:12:54 -0400 (EDT) Received: by www-in.alunos.dcc.fc.up.pt (Postfix, from userid 72) id A230E2E027; Wed, 25 Jun 2003 16:12:54 +0100 (WEST) Received: from 192.168.0.1 ( [192.168.0.1]) as user c9807028@imap.alunos.dcc.fc.up.pt by webmail.dcc.online.pt with HTTP; Wed, 25 Jun 2003 16:12:54 +0100 Message-ID: <1056553974.3ef9bbf68fe93@webmail.dcc.online.pt> Date: Wed, 25 Jun 2003 16:12:54 +0100 From: Hugo Simoes To: caml-list@inria.fr Subject: [Caml-list] type inference visualization MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit User-Agent: Internet Messaging Program (IMP) 3.1 X-Originating-IP: 192.168.0.1 X-Spam: no; 0.00; hugo:01 inference:01 type:07 www:91 sim:10 online:86 application:16 comments:17 pure:20 regards:22 web:73 systems:28 simple:29 did:33 future:65 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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 I intend to add other type systems in the future. Comments are welcome, Best regards Hugo Simões ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners