An implementation of subtyping among regular expression types (2004)

by K Z M Lu, M Sulzmann
Venue:In Proc. of APLAS’04, LNCS