(2005). Advanced topics in types and programming languages / Benjamin C. Pierce, editor.
Dyfyniad Arddull ChicagoAdvanced Topics in Types and Programming Languages / Benjamin C. Pierce, Editor. 2005.
Dyfyniad MLAAdvanced Topics in Types and Programming Languages / Benjamin C. Pierce, Editor. 2005.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.