@techreport{plt-tr2009-typed-scheme-v4.1.5,
  author = {Sam Tobin-Hochstadt},
  title = {Typed Scheme: Scheme with Static Types},
  number = {PLT-TR2009-typed-scheme-v4.1.5},
  type = {Reference Manual},
  institution = {PLT Scheme Inc.},
  month = {March},
  year = {2009},
  url = {http://download.plt-scheme.org/doc/4.1.5/pdf/typed-scheme.pdf},
  note = {\url{http://plt-scheme.org/techreports/}}
}