New paper on Declarative Semantics for Mercury
fjh at cs.mu.OZ.AU
Wed Oct 7 15:27:02 AEST 1998
The paper described below is in
-----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
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!
-----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 220.127.116.11 | -- the last words of T. S. Garp.
More information about the developers