BibTeX records: Andrés Viso

download as .bib file

@inproceedings{DBLP:conf/fossacs/KesnerRV18,
  author    = {Delia Kesner and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  title     = {Call-by-Need, Neededness and All That},
  booktitle = {Foundations of Software Science and Computation Structures - 21st
               International Conference, {FOSSACS} 2018, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
               Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  pages     = {241--257},
  year      = {2018},
  crossref  = {DBLP:conf/fossacs/2018},
  url       = {https://doi.org/10.1007/978-3-319-89366-2\_13},
  doi       = {10.1007/978-3-319-89366-2\_13},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/KesnerRV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-10519,
  author    = {Delia Kesner and
               Alejandro R{\'{\i}}os and
               Andr{\'{e}}s Viso},
  title     = {Call-by-need, neededness and all that},
  journal   = {CoRR},
  volume    = {abs/1801.10519},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.10519},
  archivePrefix = {arXiv},
  eprint    = {1801.10519},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-10519},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EdiVB17,
  author    = {Juan Edi and
               Andr{\'{e}}s Viso and
               Eduardo Bonelli},
  title     = {Efficient Type Checking for Path Polymorphism},
  journal   = {CoRR},
  volume    = {abs/1704.09026},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.09026},
  archivePrefix = {arXiv},
  eprint    = {1704.09026},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/EdiVB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/VisoBA16,
  author    = {Andr{\'{e}}s Viso and
               Eduardo Bonelli and
               Mauricio Ayala{-}Rinc{\'{o}}n},
  title     = {Type Soundness for Path Polymorphism},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {323},
  pages     = {235--251},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.entcs.2016.06.015},
  doi       = {10.1016/j.entcs.2016.06.015},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/VisoBA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VisoBA16,
  author    = {Andr{\'{e}}s Viso and
               Eduardo Bonelli and
               Mauricio Ayala{-}Rinc{\'{o}}n},
  title     = {Type Soundness for Path Polymorphism},
  journal   = {CoRR},
  volume    = {abs/1601.03271},
  year      = {2016},
  url       = {http://arxiv.org/abs/1601.03271},
  archivePrefix = {arXiv},
  eprint    = {1601.03271},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/VisoBA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/EdiVB15,
  author    = {Juan Edi and
               Andr{\'{e}}s Viso and
               Eduardo Bonelli},
  title     = {Efficient Type Checking for Path Polymorphism},
  booktitle = {21st International Conference on Types for Proofs and Programs, {TYPES}
               2015, May 18-21, 2015, Tallinn, Estonia},
  pages     = {6:1--6:23},
  year      = {2015},
  crossref  = {DBLP:conf/types/2015},
  url       = {https://doi.org/10.4230/LIPIcs.TYPES.2015.6},
  doi       = {10.4230/LIPIcs.TYPES.2015.6},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/types/EdiVB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2018,
  editor    = {Christel Baier and
               Ugo Dal Lago},
  title     = {Foundations of Software Science and Computation Structures - 21st
               International Conference, {FOSSACS} 2018, Held as Part of the European
               Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
               Thessaloniki, Greece, April 14-20, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10803},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89366-2},
  doi       = {10.1007/978-3-319-89366-2},
  isbn      = {978-3-319-89365-5},
  timestamp = {Thu, 07 Feb 2019 16:03:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2015,
  editor    = {Tarmo Uustalu},
  title     = {21st International Conference on Types for Proofs and Programs, {TYPES}
               2015, May 18-21, 2015, Tallinn, Estonia},
  series    = {LIPIcs},
  volume    = {69},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2018},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-030-9},
  isbn      = {978-3-95977-030-9},
  timestamp = {Thu, 15 Mar 2018 18:49:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/types/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier