[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


I haven't read the paper cited below, but Simon in particular may find
it interesting.


----- 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


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