An Implementation of Subtyping Among Regular Expression Types.

Kenny Zhuo Ming Lu, Martin Sulzmann

Browse the full APLAS paper archive.