An implementation of subtyping among regular expression types (2004)

by K Zhuo Ming Lu, M Sulzmann
Venue:In Proc. of APLAS’04, volume 3302 of LNCS