Static type analysis of pattern matching by abstract interpretation (2010)

by P Ferrara
Venue:In Proceedings of FORTE/FMOODS ’10, LNCS