
@book{bds2013,
  title={Lambda calculus with types},
  author={Barendregt, Henk and Dekkers, Wil and Statman, Richard},
  year={2013},
  publisher={Cambridge University Press}
}


@article{sperber2007,
    author = "Michael Sperber et al.",
    title = "{R}evised${}^6$ {R}eport on the {A}lgorithmic {L}anguage {S}cheme",
    note = "http://www.r6rs.org/",
    year = 2007
}


@article{shinn2017,
    author = "Alex Shinn et al.",
    title = "{R}evised${}^7$ {R}eport on the {A}lgorithmic {L}anguage {S}cheme",
    note = "http://www.r7rs.org/",
    year = 2017
}


@article{weel2007,
  author = "Jaap Weel",
  title = "Theme, a functional systems programming language",
  note = "http://www.ugcs.caltech.edu/\(\sim\)weel/theme.php",
  year = 2007
}


@article{baker1993,
  author = "Henry G. Baker",
  title = "Iterators: signs of weakness in object oriented languages",
  journal = "ACM OOPS Messenger",
  volume = "4",
  number = "3",
  year = 1993,
  pages = "18--25",
  note = "http://xahlee.info/comp/Iterators$\_$Signs$\_$of$\_$Weakness$\_$in$\_$Object$\_$Oriented$\_$Languages$\_$$\_$Henry$\_$G$\_$Baker$\_$$\_$1992.txt"
}
