BibTeX records: João Alpuim

download as .bib file

@inproceedings{DBLP:conf/esop/AlpuimOS17,
  author    = {Jo{\~{a}}o Alpuim and
               Bruno C. d. S. Oliveira and
               Zhiyuan Shi},
  title     = {Disjoint Polymorphism},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  pages     = {1--28},
  year      = {2017},
  crossref  = {DBLP:conf/esop/2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1_1},
  doi       = {10.1007/978-3-662-54434-1_1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/AlpuimOS17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SwierstraA16,
  author    = {Wouter Swierstra and
               Jo{\~{a}}o Alpuim},
  title     = {From Proposition to Program - Embedding the Refinement Calculus in
               Coq},
  booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  pages     = {29--44},
  year      = {2016},
  crossref  = {DBLP:conf/flops/2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3_3},
  doi       = {10.1007/978-3-319-29604-3_3},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/SwierstraA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/OliveiraSA16,
  author    = {Bruno C. d. S. Oliveira and
               Zhiyuan Shi and
               Jo{\~{a}}o Alpuim},
  title     = {Disjoint intersection types},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  pages     = {364--377},
  year      = {2016},
  crossref  = {DBLP:conf/icfp/2016},
  url       = {http://doi.acm.org/10.1145/2951913.2951945},
  doi       = {10.1145/2951913.2951945},
  timestamp = {Tue, 30 Aug 2016 13:45:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/OliveiraSA16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2017,
  editor    = {Hongseok Yang},
  title     = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1},
  doi       = {10.1007/978-3-662-54434-1},
  isbn      = {978-3-662-54433-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
  editor    = {Oleg Kiselyov and
               Andy King},
  title     = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9613},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3},
  doi       = {10.1007/978-3-319-29604-3},
  isbn      = {978-3-319-29603-6},
  timestamp = {Sun, 21 May 2017 00:19:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2016,
  editor    = {Jacques Garrigue and
               Gabriele Keller and
               Eijiro Sumii},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
               2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://doi.acm.org/10.1145/2951913},
  doi       = {10.1145/2951913},
  isbn      = {978-1-4503-4219-3},
  timestamp = {Tue, 30 Aug 2016 13:45:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier