bibliography.bib

@article{
  matthews07,
  author = {Jacob Matthews and Robert Bruce Findler},
  title = {Operational semantics for multi-language programs},
  journal = {SIGPLAN Not.},
  volume = {42},
  number = {1},
  year = {2007},
  issn = {0362-1340},
  pages = {3--10},
  doi = {http://doi.acm.org/10.1145/1190215.1190220},
  publisher = {ACM},
  address = {New York, NY, USA},
}

@book{
  felleisen09,
  author = {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt},
  title = {Semantics Engineering with PLT Redex},
  publisher = {The MIT Press},
  year = {2009}
}

@mastersthesis{
  kinghorn07,
  author = {David L. Kinghorn},
  title = {Preserving Parametricity While Sharing Higher-Order, Polymorphic Functions Between Scheme And ML},
  school = {California Polytechnic State University, San Luis Obispo},
  year = {2007},
  month = {June},
}