Search dblp for Publications

export results for "toc:db/journals/entcs/entcs75.bht:"

 download as .bib file

@proceedings{DBLP:conf/mpc/2002tip,
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  publisher    = {Elsevier},
  year         = {2003},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/75/suppl/C},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mpc/2002tip.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bakel02,
  author       = {Steffen van Bakel},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Rank 2 Types for Term Graph Rewriting},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {1--20},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80776-X},
  doi          = {10.1016/S1571-0661(04)80776-X},
  timestamp    = {Wed, 07 Dec 2022 09:03:24 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bakel02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/BartheT02,
  author       = {Gilles Barthe and
                  Peter Thiemann},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Preface},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {114--115},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(05)80782-0},
  doi          = {10.1016/S1571-0661(05)80782-0},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BartheT02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Bonniot02,
  author       = {Daniel Bonniot},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Using kinds to type partially-polymorphic methods},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {21--40},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80777-1},
  doi          = {10.1016/S1571-0661(04)80777-1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Bonniot02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/MartinsLV02,
  author       = {Francisco Martins and
                  Lu{\'{\i}}s M. B. Lopes and
                  Vasco Thudichum Vasconcelos},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {The Impact of Linearity Information on the Performance of TyCO},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {41--60},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80778-3},
  doi          = {10.1016/S1571-0661(04)80778-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/MartinsLV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SkalkaP02,
  author       = {Christian Skalka and
                  Fran{\c{c}}ois Pottier},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Syntactic Type Soundness for {HM(X)}},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {61--74},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80779-5},
  doi          = {10.1016/S1571-0661(04)80779-5},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SkalkaP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/SkalkaS02,
  author       = {Christian Skalka and
                  Scott F. Smith},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Set Types and Applications},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {75--94},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80780-1},
  doi          = {10.1016/S1571-0661(04)80780-1},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/SkalkaS02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/TabuchiSY02,
  author       = {Naoshi Tabuchi and
                  Eijiro Sumii and
                  Akinori Yonezawa},
  editor       = {Gilles Barthe and
                  Peter Thiemann},
  title        = {Regular Expression Types for Strings in a Text Processing Language},
  booktitle    = {International Workshop in Types in Programming, TIP@MPC 2002, Dagstuhl,
                  Germany, July 8, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {75},
  pages        = {95--113},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80781-3},
  doi          = {10.1016/S1571-0661(04)80781-3},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/TabuchiSY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.