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)
  2. Proofs of Theorems/Lemmas in the Above Paper (Draft Version)
  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)

Contact to the Authors

Naoshi Tabuchi
Eijiro Sumii
Akinori Yonezawa