[Haskell] HASKELL TUTORIAL WANTED FOR RHO 06
Luigi Liquori
Luigi.Liquori at sophia.inria.fr
Wed Oct 18 08:44:50 EDT 2006
Dear HASKELL people.
we are organizing in Kings College, London (23-24 october) one small workshop
on the Rewriting Calculus.
http://rho.loria.fr/workshop2006.html
In one phrase, rewriting calculus
http://rho.loria.fr/
is lambda calculus with sophisticated pattern
matching features which is able to capture
a large class of Term Rewriting Systems.
***
Without any doubt, the closest functional
language featuring high level pattern matching
features is HASKELL!
***
We will be honored whether some UK-HASKELL "acolyte"
could give to us a 1 hour talk about HASKELL, with a particular
focus on pattern matching features and types, compilers, et al.
Of course we would be happy to take any expense into account.
We have already contacted some of us, but time is running ...
In any case, we you will be happy to join us, to learn a bit about
the Rewriting calculus
http://www-sop.inria.fr/mascotte/Luigi.Liquori/rho-programme.pdf
All the best,
Grazie mille,
Luigi Liquori, Claude Kirchner and Maribel Fernandez
(the WS organizers)
--
Luigi Liquori, Ph.D,
INRIA Researcher, Sophia Antipolis
Project Team Mascotte
Vox : +33 4 92 38 71 93
Fax : +33 4 92 38 79 71
Hom : +33 4 93 67 09 72
MobFr: +33 6 65 39 51 32
MobIt: +39 3 49 16 56 45 1
Off : Lagrange LS28
Url : www-sop.inria.fr/mascotte/Luigi.Liquori
Eml : Let (*,#)=(.,@) in Luigi*Liquori#inria*fr
Pst : INRIA, 2004 Route des Lucioles - BP 93
FR-06902 Sophia Antipolis, France
More information about the Haskell
mailing list