I know this is slightly off topic but... Does anyone know if there are any papers published anywhere on strictness annotations? It seems that it would be nice to be able to cite a paper on the concept, but, as far as I can tell, no such paper exists. -Rob
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. /Josef On Tue, 25 Jun 2002, Robert Ennals wrote:
I know this is slightly off topic but...
Does anyone know if there are any papers published anywhere on strictness annotations?
It seems that it would be nice to be able to cite a paper on the concept, but, as far as I can tell, no such paper exists.
-Rob
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
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
Robert Ennals wrote:
Although it proposes them for Haskell, it says itself that they were already present in Clean
Section 8.3 (6 pages) of Plasmeijer and van Eekelen's book Functional Programming and Parallel Graph Rewriting Addison-Wesley is devoted to (Clean-like) strictness annotations... Best regards, Salvador Lucas. ____________________________________________________________________ Salvador Lucas Alba Departamento de Sistemas Informaticos y Computacion (DSIC) Universidad Politecnica de Valencia | phone: + 34 96 387 7353 (73531) Camino de Vera, s/n | fax: + 34 96 387 7359 E-46022 Valencia (Spain) | e-mail: slucas@dsic.upv.es http://www.dsic.upv.es/users/elp/slucas.html ____________________________________________________________________
And in the olden days (Before Haskell) there was: Kewley and Glynn1989 J.M. Kewley and K. Glynn. Evaluation Annotations for Hope+. In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 329-337, Fraserburgh, Scotland, 1989. Springer-Verlag. k Robert Ennals writes:
I know this is slightly off topic but...
Does anyone know if there are any papers published anywhere on strictness annotations?
It seems that it would be nice to be able to cite a paper on the concept, but, as far as I can tell, no such paper exists.
-Rob
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
And in the olden days (Before Haskell) there was:
Kewley and Glynn1989 J.M. Kewley and K. Glynn. Evaluation Annotations for Hope+. In Glasgow Workshop on Functional Programming, Workshops in Computing, pages 329-337, Fraserburgh, Scotland, 1989. Springer-Verlag.
Now read it. Seems to be exactly what I wanted. Thanks :-)) -Rob
participants (4)
-
Josef Svenningsson -
Kevin Glynn -
Robert Ennals -
Salvador Lucas Alba