Type-based optimization for regular patterns (2005)

by M Y Levin, B C Pierce
Venue:In DBPL ’05: Proceedings of the 10th International Symposium on Database Programming Languages, volume 3774 of LNCS