@proceedings{Hin13IFL,
  title = "Implementation and Application of Functional Languages",
  year = "2013",
  editor = "Hinze, Ralf",
  isbn = "978-3-642-41581-4",
  location = "Oxford, UK",
  publisher = "Springer Berlin Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://www.springeronline.com/978-3-642-41581-4",
  volume = "8241",
  doi = "10.1007/978-3-642-41582-1",
}