- ...Optimisation
-
=10000
Research supported by the Commonwealth Scholarship Commission
under the Commonwealth Scholarship and Fellowship Plan.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...fragment
- Example taken from [TWM95b].
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
- ...language
- We are specifically not constructing a usage type system for
Haskell; unlike Clean [PvE97], we do not wish
to burden the user with usage annotions but rather intend the
compiler to infer these entirely automatically.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.