Types in compilation :lecture notes in computer science - Harper, R.(Ed) (Springer: Tokyo, 2000)
Keywords: compilers