%0 Book
%A / Benjamin C. Pierce
%T Types and programming languages
%U /book/99681328/Types-and-programming-languages/