@book{Pierce05advancedtopics,
  title = {Advanced Topics in Types and Programming Languages},
  year = {2005},
  url = {http://www.cis.upenn.edu/~bcpierce/attapl/},
  tags = {programming languages, semantics, design science, type inference, program comprehension, program analysis, application framework, language engineering, software language engineering, analysis, language design, type system, software engineering, type checking, security, programming, operational semantics, type theory},
  researchr = {https://researchr.org/publication/Pierce05advancedtopics},
  cites = {0},
  citedby = {0},
  editor = {Benjamin C. Pierce},
  publisher = {The MIT Press},
  isbn = {0-262-16228-8},
}