BibTeX record journals/entcs/CamaraoF98a

• > Home > journals/entcs/CamaraoF98a

@inproceedings{DBLP:journals/entcs/CamaraoF98a,
  author       = {Carlos Camar{\~{a}}o and
                  Luc{\'{\i}}lia Figueiredo},
  editor       = {Rance Cleaveland and
                  Michael W. Mislove and
                  Philip S. Mulry},
  title        = {A Type System for Context-dependent Overloading},
  booktitle    = {US-Brazil Joint Workshops on the Formal Foundations of Software Systems,
                  Rio de Janeiro, Brazil, May 5-9, 1997 {\&} New Orleans, LA, USA,
                  November 13-16, 1997},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {14},
  pages        = {52--61},
  publisher    = {Elsevier},
  year         = {1997},
  url          = {https://doi.org/10.1016/S1571-0661(05)80229-4},
  doi          = {10.1016/S1571-0661(05)80229-4},
  timestamp    = {Fri, 11 Nov 2022 13:59:56 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CamaraoF98a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}