[m-dev.] diff: update papers web page

Peter Ross petdr at cs.mu.OZ.AU
Wed Oct 27 11:26:01 AEST 1999


Hi,


===================================================================


Estimated hours taken: 0.25

w3/information/papers/include/papers.inc:
    Update the information about the tail recursive and RTTI papers,
    as they have now both appeared.


Index: include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.12
diff -u -r1.12 papers.inc
--- papers.inc	1999/08/16 01:58:21	1.12
+++ papers.inc	1999/10/27 01:19:55
@@ -23,10 +23,10 @@
 Peter Ross, David Overton and Zoltan Somogyi
 <br>
 <em>
-To appear in the Proceedings of the International Workshop on
-Logic-based Program Synthesis and Transformation
+Proceedings of the Ninth International Workshop on Logic-based Program
+Synthesis and Transformation
 </em>,
-Venice, Italy, September 1999.
+Venice, Italy, September 1999, pages 107-118.
 <a href="papers/tail_lopstr.ps.gz">Available here (62K)</a>.
 <p>
 
@@ -83,10 +83,15 @@
 Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway and David Jeffery.
 <br>
 <em>
-To appear in the Proceedings of the International Conference
+Proceedings of the International Conference
 on the Principles and Practice of Declarative Programming
 </em>,
-Paris, France, September/October 1999.
+Paris, France, September/October 1999,
+Lecture Notes in Computer Science 1702, 
+Springer Verlag, 
+Pages 224-243,
+© 
+<a href="http://www.springer.de/comp/lncs/index.html">Springer-Verlag</a>.
 <a href="papers/rtti_ppdp.ps.gz">Available here (75K)</a>.
 <p>
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list