BibTeX record conf/icfp/CuoqSBBCCMPP09

download as .bib file

@inproceedings{DBLP:conf/icfp/CuoqSBBCCMPP09,
  author    = {Pascal Cuoq and
               Julien Signoles and
               Patrick Baudin and
               Richard Bonichon and
               G{\'{e}}raud Canet and
               Lo{\"{\i}}c Correnson and
               Benjamin Monate and
               Virgile Prevosto and
               Armand Puccetti},
  title     = {Experience report: OCaml for an industrial-strength static analysis
               framework},
  booktitle = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  pages     = {281--286},
  year      = {2009},
  crossref  = {DBLP:conf/icfp/2009},
  url       = {https://doi.org/10.1145/1596550.1596591},
  doi       = {10.1145/1596550.1596591},
  timestamp = {Tue, 06 Nov 2018 16:59:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/CuoqSBBCCMPP09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2009,
  editor    = {Graham Hutton and
               Andrew P. Tolmach},
  title     = {Proceeding of the 14th {ACM} {SIGPLAN} international conference on
               Functional programming, {ICFP} 2009, Edinburgh, Scotland, UK, August
               31 - September 2, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-332-7},
  timestamp = {Tue, 22 Sep 2009 22:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics