BibTeX record journals/corr/cs-PL-0403034

download as .bib file

@article{DBLP:journals/corr/cs-PL-0403034,
  author    = {Matthew Fluet and
               Riccardo Pucella},
  title     = {Phantom Types and Subtyping},
  journal   = {CoRR},
  volume    = {cs.PL/0403034},
  year      = {2004}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics