[Haskell] HASKELL TUTORIAL WANTED FOR RHO 06

[Luigi Liquori]

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 pattern matching is HASKELL!
***

We will be honored whether some UK-HASKELL "acholyte"
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 (preliminary program attached!)

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: rho-programme.pdf
Type: application/pdf
Size: 47464 bytes
Desc: not available
Url : http://www.haskell.org/pipermail/haskell/attachments/20061018/85d1645e/rho-programme-0001.pdf