Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jfp/FluetP06,
  author       = {Matthew Fluet and
                  Riccardo Pucella},
  title        = {Phantom types and subtyping},
  journal      = {J. Funct. Program.},
  volume       = {16},
  number       = {6},
  pages        = {751--791},
  year         = {2006},
  url          = {https://doi.org/10.1017/S0956796806006046},
  doi          = {10.1017/S0956796806006046},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/FluetP06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  url          = {http://arxiv.org/abs/cs/0403034},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-PL-0403034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifipTCS/FluetP02,
  author       = {Matthew Fluet and
                  Riccardo Pucella},
  editor       = {Ricardo A. Baeza{-}Yates and
                  Ugo Montanari and
                  Nicola Santoro},
  title        = {Phantom Types and Subtyping},
  booktitle    = {Foundations of Information Technology in the Era of Networking and
                  Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
                  - {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
                  on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
                  Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
  series       = {{IFIP} Conference Proceedings},
  volume       = {223},
  pages        = {448--460},
  publisher    = {Kluwer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-0-387-35608-2\_37},
  doi          = {10.1007/978-0-387-35608-2\_37},
  timestamp    = {Fri, 27 Sep 2019 10:35:17 +0200},
  biburl       = {https://dblp.org/rec/conf/ifipTCS/FluetP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}