BibTeX record conf/ppdp/MontenegroPS08

download as .bib file

@inproceedings{DBLP:conf/ppdp/MontenegroPS08,
  author    = {Manuel Montenegro and
               Ricardo Pena and
               Clara Segura},
  title     = {A type system for safe memory management and its proof of correctness},
  booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 15-17, 2008,
               Valencia, Spain},
  pages     = {152--162},
  year      = {2008},
  crossref  = {DBLP:conf/ppdp/2008},
  url       = {https://doi.org/10.1145/1389449.1389468},
  doi       = {10.1145/1389449.1389468},
  timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/MontenegroPS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2008,
  editor    = {Sergio Antoy and
               Elvira Albert},
  title     = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, July 15-17, 2008,
               Valencia, Spain},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-117-0},
  timestamp = {Tue, 11 Nov 2008 14:40:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier