References wanted

Article View: comp.lang.prolog

Article #4283

#4283

From: Richard O'keefe
Date: Thu, 15 Mar 1990 02:25

2 lines
443 bytes

I'm not quite up to date on Prolog type-checking work.
What are the really significant papers in, say, the last two years?

Technical Details

Message-ID: <2984@goanna.oz.au>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!goanna!ok

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!munnari.oz.au!goanna!ok
From: ok@goanna.oz.au (Richard O'keefe)
Newsgroups: comp.lang.prolog
Subject: References wanted
Message-ID: <2984@goanna.oz.au>
Date: 15 Mar 90 02:25:04 GMT
Organization: Comp Sci, RMIT, Melbourne, Australia
Lines: 2