Benjamin C. Pierce, "Types and Programming Languages: The Next Generation," Logic in Computer Science, Symposium on, pp. 32, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003.

@article{ 10.1109/LICS.2003.1210042,
author = {Benjamin C. Pierce},
title = {Types and Programming Languages: The Next Generation},
journal ={Logic in Computer Science, Symposium on},
volume = {0},
year = {2003},
issn = {1043-6871},
pages = {32},
doi = {http://doi.ieeecomputersociety.org/10.1109/LICS.2003.1210042},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Logic in Computer Science, Symposium on
TI - Types and Programming Languages: The Next Generation
SN - 1043-6871
SP
EP
A1 - Benjamin C. Pierce,
PY - 2003
KW - null
VL - 0
JA - Logic in Computer Science, Symposium on
ER -