Pena-MariSM06'

BibTeX

@inproceedings{DBLP:conf/sfp/Pena-MariSM06,
  author    = {Ricardo Pe{\~n}a-Mar\'{\i} and
               Clara Segura and
               Manuel Montenegro},
  title     = {A sharing analysis for SAFE},
  booktitle = {Trends in Functional Programming},
  year      = {2006},
  pages     = {109-128},
  crossref  = {DBLP:conf/sfp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfp/2006,
  editor    = {Henrik Nilsson},
  title     = {Revised Selected Papers from the Seventh Symposium on Trends
               in Functional Programming, TFP 2006, Nottingham, United
               Kingdom, 19-21 April 2006},
  booktitle = {Trends in Functional Programming},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {7},
  year      = {2007},
  isbn      = {978-1-84150-188-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}