@TechReport{      Treves,
  Author        = "Pottier, Fran{\c c}ois",
  date-added    = "2014-03-20 09:30:57 +0000",
  date-modified = "2017-04-07 08:04:25 +0000",
  Title         = "Functional Pearl: Lazy Least Fixed Points in ML",
  Year          = "2009",
  bdsk-url-1    = "http://gallium.inria.fr/\textasciitilde fpottier/fix/",
  File          = "Functional Pearl Lazy Least Fixed Points in ML - Pottier (0) (0) - a - a - r.pdf",
  file-2        = "Functional Pearl Lazy Least Fixed Points in ML - Pottier (0) (0) - a - a - r.gz"
}

@TechReport{ Treves, Author = "Pottier, Fran{\c c}ois", date-added = "2014-03-20 09:30:57 +0000", date-modified = "2017-04-07 08:04:25 +0000", Title = "Functional Pearl: Lazy Least Fixed Points in ML", Year = "2009", bdsk-url-1 = "http://gallium.inria.fr/\textasciitilde fpottier/fix/", File = "Functional Pearl Lazy Least Fixed Points in ML - Pottier (0) (0) - a - a - r.pdf", file-2 = "Functional Pearl Lazy Least Fixed Points in ML - Pottier (0) (0) - a - a - r.gz" }