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

[Warwick Harvey]

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

Warwick

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