New paper on Declarative Semantics for Mercury

[Fergus Henderson]

The paper described below is in
	~fjh/papers/mercury/postlopstr98.ps

-----Forwarded message from Baudouin Le Charlier <ble at info.fundp.ac.be>-----

From: Baudouin Le Charlier <ble at info.fundp.ac.be>
Subject: New paper on Declarative Semantics for Mercury

  Dear All,

  Dante and I are finishing a "full paper" about a declarative semantics
for Mercury, which will hopefully be included in the proceedings of
LOPSTR'98. We made a lot of efforts to simplify the content and the
presentation wrt to the two papers you have received before. In fact, the
paper contains a novel proposal, i.e., an untyped semantics which overcome
the limitations of the semantics I proposed at MC, a few months ago, and
which is also much simpler that the typed semantics that we later proposed
to improve the first one. (I hope that we will converge soon!) 
Since this paper still has to pass a reviewing phase, we would greatly
appreciate your inputs to  make it better.

Thanks a lot!

Best regards,

Baudouin

-----End of forwarded message-----

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.