[TYPES] Reference to typed first class pattern matching

[Luigi.Liquori@work]

Dear Michael,

The Typed Rewriting calculus can be one possible reference.

http://rho.loria.fr/

Best
Luigi



-----------------
  Luigi Liquori, H.d.R., Ph.D.
  INRIA Researcher, Sophia Antipolis Méditerranée
  LogNet Research Team
  Vox	: +33 4 92 38 71 93
  Fax		: +33 4 92 38 50 29
  Hom	: +33 4 93 67 09 72
  GsmWork	: +33 6 78 35 80 88
  GsmPerso1	: +33 6 65 39 51 32
  GsmPerso2	: +39 3 49 16 56 45 1
  SIP		: luigi_liquori at voip.wengo.fr
  Url		: www-sop.inria.fr/members/Luigi.Liquori
  Url		: www.inria.fr/recherche/equipes/lognet.en.html
  Email	: Let (*,#)=(.,@) in Luigi*Liquori#inria*fr
  Snailm	: INRIA, 2004 Route des Lucioles - BP 93
		  FR-06902 Sophia Antipolis, France
ü
	Pensez à la planète et n'imprimez ce message que si nécessaire !
	Earth will kind ask you to print this message only if really needed!
ü