ChambersL94'

BibTeX

@inproceedings{DBLP:conf/oopsla/ChambersL94,
  author    = {Craig Chambers and
               Gary T. Leavens},
  title     = {Typechecking and Modules for Multi-Methods},
  booktitle = {OOPSLA},
  year      = {1994},
  pages     = {1-15},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}