Information and Computation special issue from TACS 2001.

Naoki Kobayashi Benjamin C. Pierce Information and Computation special issue from TACS 2001. 163-164 2003 186 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00173-1 db/journals/iandc/iandc186.html#KobayashiP03