Formula Tree Lab: a tool for studying inhabitation of simple types

• To: types@cis.upenn.edu
• Subject: Formula Tree Lab: a tool for studying inhabitation of simple types
• From: Sabine Broda <sbb@ncc.up.pt>
• Date: 08 Jul 2003 13:29:34 +0100
• Cc: sbb@ncc.up.pt

Hello,

we would like to announce the availability of the Formula Tree Lab,
which is a simple tool for studying inhabitation of simple types and can
be found at

http://www.ncc.up.pt/~sbb/FTLab/ftlab/index.html



Best regards, 

Sabine Broda and Luís Damas

• Prev: CFP FOOL 11, January 2004, Venice Italy
• Next: Apologies for bogus Types message
• Index(es):
  • Main
  • Thread