001: 44
003: Starlibrary PMS 4.5
005: 20180713
020: ^a1074875562
066: ^aBe.A
082: ^a005.13
100: ^aBenjamin C. Pierce
240: ^aAdvanced Topics in Types and Programming Languages
245: ^aAdvanced Topics in Types and Programming Languages
260: