XPerl or lambda-re

A Minimal Functional Language for Text Processing with Regular Expression Types

Publications / Paper Resources

1. Regular Expression Types for Strings in a Text Processing Language (Extended Abstract)
   Naoshi Tabuchi, Eijiro Sumii and Akinori Yonezawa
   Workshop on Types in Programming (TIP'02)
   
   • .ps.gz
   • .ps
   • .pdf
   • BibTex Entry
2. Proofs of Theorems/Lemmas in the Above Paper (Draft Version)
   • .ps.gz
   • .ps
   • .pdf
3. Regular Expression Types for Strings in a Text Processing Language
   Naoshi Tabuchi, Eijiro Sumii and Akinori Yonezawa
   presented at IPSJ Special Interest Group on Programming (in Japanese)
   
   • .ps.gz
   • .ps

Contact to the Authors