Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!europa.chnt.gtegsc.com!news.mathworks.com!newsfeed.internetmci.com!news.sprintlink.net!howland.reston.ans.net!ix.netcom.com!netcom.com!NewsWatcher!user
From: hbaker@netcom.com (Henry Baker)
Subject: Hindley-Milner Typing for Prolog??
Message-ID: <hbaker-1708951828540001@192.0.2.1>
Sender: hbaker@netcom3.netcom.com
Organization: nil organization
Date: Fri, 18 Aug 1995 02:28:54 GMT
Lines: 11

This may be a completely trivial question, but does anyone use Hindley-
Milner (what ML does) Type Inference in any Prolog or Logic language?

If the answer is yes, please give a reference to either a published paper
or an actual system.

Thanks in advance.

-- 
www/ftp directory:
ftp://ftp.netcom.com/pub/hb/hbaker/home.html
