Search dblp for Publications

• > Home > Search

@proceedings{DBLP:journals/corr/Rehof15,
  editor       = {Jakob Rehof},
  title        = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  year         = {2015},
  url          = {https://doi.org/10.4204/EPTCS.177},
  doi          = {10.4204/EPTCS.177},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Rehof15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BenkeBS15,
  author       = {Marcin Benke and
                  Viviana Bono and
                  Aleksy Schubert},
  editor       = {Jakob Rehof},
  title        = {Lucretia - intersection type polymorphism for scripting languages},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {65--78},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.6},
  doi          = {10.4204/EPTCS.177.6},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/BenkeBS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/BessaiDDCd15,
  author       = {Jan Bessai and
                  Boris D{\"{u}}dder and
                  Andrej Dudenhefner and
                  Tzu{-}Chun Chen and
                  Ugo de'Liguoro},
  editor       = {Jakob Rehof},
  title        = {Typing Classes and Mixins with Intersection Types},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {79--93},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.7},
  doi          = {10.4204/EPTCS.177.7},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BessaiDDCd15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/CoppoDMZ15,
  author       = {Mario Coppo and
                  Mariangiola Dezani{-}Ciancaglini and
                  Ines Margaria and
                  Maddalena Zacchi},
  editor       = {Jakob Rehof},
  title        = {On Isomorphism of "Functional" Intersection and Union Types},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {53--64},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.5},
  doi          = {10.4204/EPTCS.177.5},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CoppoDMZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GrelloisM15b,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Jakob Rehof},
  title        = {Indexed linear logic and higher-order model checking},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {43--52},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.4},
  doi          = {10.4204/EPTCS.177.4},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrelloisM15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Kikuchi15,
  author       = {Kentaro Kikuchi},
  editor       = {Jakob Rehof},
  title        = {Uniform Proofs of Normalisation and Approximation for Intersection
                  Types},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {10--23},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.2},
  doi          = {10.4204/EPTCS.177.2},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Kikuchi15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/PereiraAF15,
  author       = {M{\'{a}}rio Pereira and
                  Sandra Alves and
                  M{\'{a}}rio Florido},
  editor       = {Jakob Rehof},
  title        = {Liquid Intersection Types},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {24--42},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.3},
  doi          = {10.4204/EPTCS.177.3},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/PereiraAF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/Statman15,
  author       = {Rick Statman},
  editor       = {Jakob Rehof},
  title        = {A Finite Model Property for Intersection Types},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {1--9},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.1},
  doi          = {10.4204/EPTCS.177.1},
  timestamp    = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Statman15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}