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