[m-dev.] for review: add nancy and wims papers

[Robert Ernst Johann JESCHOFNIK]

On Tue, 22 Feb 2000, Peter Ross wrote:

> On 22-Feb-2000, Warwick Harvey <wharvey at cs.monash.edu.au> wrote:
> > > +Binding-Time Analysis for Mercury
> > [...]
> > > +In this paper, we describe a binding-time analysis (BTA) for a
> > > +statically typed and strongly moded pure logic programming language, in
> > > +casu Mercury.  Binding-time analysis is the key concept in achieving
> > 
> > Casu?
> > 
> Apparently it is latin.

How... academic.
;)


rob

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