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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
Benjamin C. Pierce, "Types and Programming Languages: The Next Generation," lics, pp.32, 18th Annual IEEE Symposium on Logic in Computer Science (LICS'03), 2003
PDF
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb