paper announcements

• To: types@saul.cis.upenn.edu
• Subject: paper announcements
• From: Haruo Hosoya <hahosoya@kurims.kyoto-u.ac.jp>
• Date: Fri, 14 Dec 2001 11:55:48 +0900

We are pleased to announce the availability of two papers on the XDuce
project:

  Regular Expression Types for XML
  by Haruo Hosoya, Jerome Vouillon, and Benjamin C. Pierce
  URL: http://www.kurims.kyoto-u.ac.jp/~hahosoya/papers/regsub.ps

and

  Regular Expression Pattern Matching for XML
  by Haruo Hosoya and Benjamin C. Pierce
  URL: http://www.kurims.kyoto-u.ac.jp/~hahosoya/papers/tapat.ps

Also, anyone interested in the XDuce project is welcome to visit the
project home page:

  http://xduce.sourceforge.net

Best regards,

Haruo Hosoya
Jerome Vouillon
Benjamin Pierce

• Prev: New paper on Java bytecode subroutines
• Next: Host of TPHOLs 2003, call for bids
• Index(es):
  • Main
  • Thread