[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