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

Warwick Harvey wharvey at cs.monash.edu.au
Tue Feb 22 11:49:11 AEDT 2000

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



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