Types and programming languages: the next generation | IEEE Conference Publication | IEEE Xplore