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

Peter Ross petdr at cs.mu.OZ.AU
Tue Feb 22 12:07:09 AEDT 2000


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