BarbaneraDV98'

BibTeX

@inproceedings{DBLP:conf/procomet/BarbaneraDV98,
  author    = {Franco Barbanera and
               Mariangiola Dezani-Ciancaglini and
               Fer-Jan de Vries},
  title     = {Types for trees},
  booktitle = {PROCOMET},
  year      = {1998},
  pages     = {11-29},
  crossref  = {DBLP:conf/procomet/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/procomet/1998,
  editor    = {David Gries and
               Willem P. de Roever},
  title     = {Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International
               Conference on Programming Concepts and Methods (PROCOMET
               '98) 8-12 June 1998, Shelter Island, New York, USA},
  booktitle = {PROCOMET},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {125},
  year      = {1998},
  isbn      = {0-412-83760-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}