@book{KrishnamurthiPLAI2007,
  title = {Programming Languages: Application and Interpretation},
  author = {Shriram Krishnamurthi},
  year = {2007},
  url = {http://cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/},
  researchr = {https://researchr.org/publication/KrishnamurthiPLAI2007},
  cites = {0},
  citedby = {0},
  publisher = {Brown University},
}