SannellaHAGSBLMMS05'

BibTeX

@inproceedings{DBLP:conf/sfp/SannellaHAGSBLMMS05,
  author    = {Donald Sannella and
               Martin Hofmann and
               David Aspinall and
               Stephen Gilmore and
               Ian Stark and
               Lennart Beringer and
               Hans-Wolfgang Loidl and
               Kenneth MacKenzie and
               Alberto Momigliano and
               Olha Shkaravska},
  title     = {Mobile Resource Guarantees (project evaluation paper)},
  booktitle = {Trends in Functional Programming},
  year      = {2005},
  pages     = {211-226},
  crossref  = {DBLP:conf/sfp/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sfp/2005,
  editor    = {Marko C. J. D. van Eekelen},
  title     = {Revised Selected Papers from the Sixth Symposium on Trends
               in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24
               September 2005},
  booktitle = {Trends in Functional Programming},
  publisher = {Intellect},
  series    = {Trends in Functional Programming},
  volume    = {6},
  year      = {2007},
  isbn      = {978-1-84150-176-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}