%0 Book %1 pierce:2002 %A Pierce, %D 2002 %K types pgmlang %T Types and Programming Languages %U http://www.cis.upenn.edu/~bcpierce/tapl/

@book{pierce:2002, added-at = {2006-01-28T18:14:42.000+0100}, author = {Pierce}, biburl = {https://www.bibsonomy.org/bibtex/28675da2a7117167b7782660f8dd8f9ff/mobileink}, interhash = {0e0049659cb471ef7385d332fc374047}, intrahash = {8675da2a7117167b7782660f8dd8f9ff}, keywords = {types pgmlang}, timestamp = {2006-01-28T18:14:42.000+0100}, title = {Types and Programming Languages}, url = {http://www.cis.upenn.edu/~bcpierce/tapl/}, year = 2002 }