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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
