ADTs and strictness

1993-10-05 Thread Sergio Antoy
ignorance, but what does it mean that 'products or functions are lifted'? Thanks, Sergio Antoy Dept. of Computer Science Portland State University P.O.Box 751 Portland, OR 97207 voice +1 (503) 725-3009 fax +1 (503) 725-3211 internet [EMAIL PROTECTED]

Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)

2003-10-28 Thread Sergio Antoy
COMMITTEE: Sergio Antoy Portland (USA) (co-chair) Roberto Di Cosmo Paris VII (France) Juergen Giesl Aachen (Germany) Bernhard Gramlich Wien (Austria) Salvador LucasValencia (Spain) Aart Middeldorp Innsbruck (Austria) Jaco van de Pol Amsterdam

Call for papers: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)

2004-01-13 Thread Sergio Antoy
COMMITTEE: Sergio Antoy Portland (USA) (co-chair) Roberto Di Cosmo Paris VII (France) Juergen Giesl Aachen (Germany) Bernhard Gramlich Wien (Austria) Salvador LucasValencia (Spain) Aart Middeldorp Innsbruck (Austria) Jaco van de Pol Amsterdam

[Haskell] Call for Participation: Fourth International Workshop on Reduction Strategies in Rewriting and Programming (WRS'04)

2004-05-12 Thread Sergio Antoy
in Haskell (round table paper) Ralf Laemmel WEBSITE http://www-i2.informatik.rwth-aachen.de/WRS04/ For further questions please contact the program co-chairs: Sergio Antoy and Yoshihito Toyama at [EMAIL PROTECTED] ___ Haskell mailing list [EMAIL