%0 Book
%A / Benjamin C. Pierce, editor
%T Advanced topics in types and programming languages
%U /book/92828149/Advanced-topics-in-types-and-programming-languages/