DBLP Record 'conf/esop/BlanquiHW07'

BibTeX

@inproceedings{DBLP:conf/esop/BlanquiHW07,
  author    = {Fr{\'e}d{\'e}ric Blanqui and
               Th{\'e}r{\`e}se Hardin and
               Pierre Weis},
  title     = {On the Implementation of Construction Functions for Non-free
               Concrete Data Types},
  booktitle = {ESOP},
  year      = {2007},
  pages     = {95-109},
  ee        = {http://dx.doi.org/10.1007/978-3-540-71316-6_8},
  crossref  = {DBLP:conf/esop/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/esop/2007,
  editor    = {Rocco De Nicola},
  title     = {Programming Languages and Systems, 16th European Symposium
               on Programming, ESOP 2007, Held as Part of the Joint European
               Conferences on Theory and Practics of Software, ETAPS 2007,
               Braga, Portugal, March 24 - April 1, 2007, Proceedings},
  booktitle = {ESOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4421},
  year      = {2007},
  isbn      = {978-3-540-71314-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}