@misc{W1557561422,
  author = {Benjamin C. Pierce},
  title = {Types and Programming Languages},
  year = {2002}
}