Re: Papers on strictness annotations

Robert,

Strictness annotations were proposed for Haskell in the paper "Implementing Haskell Overloading" by Lennart Augustsson.

http://citeseer.nj.nec.com/augustsson93implementing.html

It only has a small section on strictness annotations but this is as close as I can get to your request.

Thanks for the reference. Although it proposes them for Haskell, it says itself that they were already present in Clean and LML, and, as you say, they are only really mentioned as a brief tangent. Still a useful reference though. Thanks. -Rob