[EMAIL PROTECTED] wrote:
And what alternatives (besides call by name without sharing) are there?

http://doi.acm.org/10.1145/944705.944731

http://doi.acm.org/10.1145/581690.581694

I always think lazy evaluation is space and time optimal.

Google for "optimal reduction" (Lamping, Asperti, Guerrini, ...).

Ciao, Janis.

--
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:[EMAIL PROTECTED]
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to