BibTeX records: João Alpuim

download as .bib file

@article{DBLP:journals/scp/AlpuimS18,
  author       = {Jo{\~{a}}o Alpuim and
                  Wouter Swierstra},
  title        = {Embedding the refinement calculus in Coq},
  journal      = {Sci. Comput. Program.},
  volume       = {164},
  pages        = {37--48},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.scico.2017.04.003},
  doi          = {10.1016/J.SCICO.2017.04.003},
  timestamp    = {Tue, 18 Sep 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/AlpuimS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlpuimOS17,
  author       = {Jo{\~{a}}o Alpuim and
                  Bruno C. d. S. Oliveira and
                  Zhiyuan Shi},
  editor       = {Hongseok Yang},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {10201},
  pages        = {1--28},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54434-1\_1},
  doi          = {10.1007/978-3-662-54434-1\_1},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/esop/AlpuimOS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/SwierstraA16,
  author       = {Wouter Swierstra and
                  Jo{\~{a}}o Alpuim},
  editor       = {Oleg Kiselyov and
                  Andy King},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {9613},
  pages        = {29--44},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-29604-3\_3},
  doi          = {10.1007/978-3-319-29604-3\_3},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/SwierstraA16.bib},
  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},
  editor       = {Jacques Garrigue and
                  Gabriele Keller and
                  Eijiro Sumii},
  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},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2951913.2951945},
  doi          = {10.1145/2951913.2951945},
  timestamp    = {Wed, 23 Jun 2021 15:34:31 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/OliveiraSA16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics