Re:DataMetrics

ferrante formato (formato@bridge.diima.unisa.it)
Mon, 3 Aug 1998 20:38:30 +0200 (MET DST)

I think that a tool for building a "soft" data-type theory is
softening an already existing type inference system. You take a Milner
(for example) type inference system, and then you develop a type
inference System in the Pavelka style, for example.
Remind that Milner's type theory allows polymorphism and inheritance
(may be), which is welcome by Object Oriented programmers.
If your question does not concern Data Type Theory, but "Data" in
the raw manner, then I simply mistook your question.

Ferrante Formato
Dipartimento di Ingegneria dell'Informazione e
Matematica Applicata
Universita' di Salerno
Phone : +39.89.965269
Fax : +39.89.964191
e-mail formato@udsab.dia.unisa.it

############################################################################
This message was posted through the fuzzy mailing list.
(1) To subscribe to this mailing list, send a message body of
"SUB FUZZY-MAIL myFirstName mySurname" to listproc@dbai.tuwien.ac.at
(2) To unsubscribe from this mailing list, send a message body of
"UNSUB FUZZY-MAIL" or "UNSUB FUZZY-MAIL yoursubscription@email.address.com"
to listproc@dbai.tuwien.ac.at
(3) To reach the human who maintains the list, send mail to
fuzzy-owner@dbai.tuwien.ac.at
(4) WWW access and other information on Fuzzy Sets and Logic see
http://www.dbai.tuwien.ac.at/ftp/mlowner/fuzzy-mail.info
(5) WWW archive: http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail/index.html