@Misc{            Lago:2019,
  Author        = "dal Lago, Ugo",
  date-added    = "2019-05-02 13:21:10 +0200",
  date-modified = "2019-05-02 13:21:44 +0200",
  Month         = "Jan",
  Title         = "Higher-Order Probabilistic Programming",
  Year          = "2019",
  File          = "fourthpartslides (0) (0) - a - a - c.pdf",
  file-2        = "thirdpartslides (0) (0) - a - a - c.pdf",
  file-3        = "secondpartslides (0) (0) - a - a - c.pdf",
  file-4        = "firstpartslides (0) (0) - a - a - c.pdf",
  file-5        = "synopsis (0) (0) - a - a - c.pdf"
}

@Misc{ Lago:2019, Author = "dal Lago, Ugo", date-added = "2019-05-02 13:21:10 +0200", date-modified = "2019-05-02 13:21:44 +0200", Month = "Jan", Title = "Higher-Order Probabilistic Programming", Year = "2019", File = "fourthpartslides (0) (0) - a - a - c.pdf", file-2 = "thirdpartslides (0) (0) - a - a - c.pdf", file-3 = "secondpartslides (0) (0) - a - a - c.pdf", file-4 = "firstpartslides (0) (0) - a - a - c.pdf", file-5 = "synopsis (0) (0) - a - a - c.pdf" }