[m-dev.] [HAL-dev] Another Latex model reference (fwd)
David Overton
dmo at cs.mu.OZ.AU
Wed Jan 16 15:35:23 AEDT 2002
Hi,
I haven't read the paper cited below, but Simon in particular may find
it interesting.
David
----- Forwarded message from Nicholas Nethercote <njn25 at cam.ac.uk> -----
Date: Wed, 07 Nov 2001 11:24:16 +0000 (GMT)
From: Nicholas Nethercote <njn25 at cam.ac.uk>
Subject: [HAL-dev] Another Latex model reference
X-X-Sender: <njn25 at green.csi.cam.ac.uk>
To: "HAL developer's list" <hal-developers at bowman.csse.monash.edu.au>
X-Virus-Scanned: by AMaViS perl-11
Reply-To: hal-developers at bowman.csse.monash.edu.au
Hi,
Check out citeseer.nj.nec.com/chambers94framework.html for another paper
on cross-module optimisation.
--
Nick Nethercote
njn25 at cam.ac.uk
----- End forwarded message -----
--
David Overton Department of Computer Science & Software Engineering
PhD Student The University of Melbourne, Victoria 3010, Australia
+61 3 8344 9159 http://www.cs.mu.oz.au/~dmo
--------------------------------------------------------------------------
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