BibTeX record journals/corr/abs-1301-2903

download as .bib file

@article{DBLP:journals/corr/abs-1301-2903,
  author    = {Gabriel Scherer and
               Didier R{\'{e}}my},
  title     = {GADTs meet subtyping},
  journal   = {CoRR},
  volume    = {abs/1301.2903},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics