@Misc{            joost,
  Author        = "Winter, Joost",
  date-added    = "2020-10-16 17:34:36 +0200",
  date-modified = "2020-10-16 17:35:03 +0200",
  HowPublished  = "slides",
  Title         = "Coinductive Stream Calculus in Haskell",
  File          = "Coinductive Stream Calculus in Haskell - Joost Winter - slides - a - x.pdf"
}

@Misc{ joost, Author = "Winter, Joost", date-added = "2020-10-16 17:34:36 +0200", date-modified = "2020-10-16 17:35:03 +0200", HowPublished = "slides", Title = "Coinductive Stream Calculus in Haskell", File = "Coinductive Stream Calculus in Haskell - Joost Winter - slides - a - x.pdf" }