Journal of Programming Languages

J. Prog. Lang. Home Page