New paper on Declarative Semantics for Mercury

Fergus Henderson fjh at
Wed Oct 7 15:27:02 AEST 1998

The paper described below is in

-----Forwarded message from Baudouin Le Charlier <ble at>-----

From: Baudouin Le Charlier <ble at>
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,


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

Fergus Henderson <fjh at>  |  "I have always known that the pursuit
WWW: <>  |  of excellence is a lethal habit"
PGP: finger fjh at        |     -- the last words of T. S. Garp.

More information about the developers mailing list