@inproceedings{DBLP:conf/sac/GianniniSZ17,
  author       = {Paola Giannini and
                  Marco Servetto and
                  Elena Zucca},
  editor       = {Ahmed Seffah and
                  Birgit Penzenstadler and
                  Carina Alves and
                  Xin Peng},
  title        = {A type and effect system for sharing},
  booktitle    = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
                  Morocco, April 3-7, 2017},
  pages        = {1513--1515},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3019612.3019890},
  doi          = {10.1145/3019612.3019890},
  timestamp    = {Wed, 01 Feb 2023 17:58:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/GianniniSZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"ThanYayMeYK9mQu7q","bibbaseid":"giannini-servetto-zucca-atypeandeffectsystemforsharing-2017","author_short":["Giannini, P.","Servetto, M.","Zucca, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paola"],"propositions":[],"lastnames":["Giannini"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Servetto"],"suffixes":[]},{"firstnames":["Elena"],"propositions":[],"lastnames":["Zucca"],"suffixes":[]}],"editor":[{"firstnames":["Ahmed"],"propositions":[],"lastnames":["Seffah"],"suffixes":[]},{"firstnames":["Birgit"],"propositions":[],"lastnames":["Penzenstadler"],"suffixes":[]},{"firstnames":["Carina"],"propositions":[],"lastnames":["Alves"],"suffixes":[]},{"firstnames":["Xin"],"propositions":[],"lastnames":["Peng"],"suffixes":[]}],"title":"A type and effect system for sharing","booktitle":"Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017","pages":"1513–1515","publisher":"ACM","year":"2017","url":"https://doi.org/10.1145/3019612.3019890","doi":"10.1145/3019612.3019890","timestamp":"Wed, 01 Feb 2023 17:58:48 +0100","biburl":"https://dblp.org/rec/conf/sac/GianniniSZ17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sac/GianniniSZ17,\n author = {Paola Giannini and\n Marco Servetto and\n Elena Zucca},\n editor = {Ahmed Seffah and\n Birgit Penzenstadler and\n Carina Alves and\n Xin Peng},\n title = {A type and effect system for sharing},\n booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,\n Morocco, April 3-7, 2017},\n pages = {1513--1515},\n publisher = {{ACM}},\n year = {2017},\n url = {https://doi.org/10.1145/3019612.3019890},\n doi = {10.1145/3019612.3019890},\n timestamp = {Wed, 01 Feb 2023 17:58:48 +0100},\n biburl = {https://dblp.org/rec/conf/sac/GianniniSZ17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giannini, P.","Servetto, M.","Zucca, E."],"editor_short":["Seffah, A.","Penzenstadler, B.","Alves, C.","Peng, X."],"key":"DBLP:conf/sac/GianniniSZ17","id":"DBLP:conf/sac/GianniniSZ17","bibbaseid":"giannini-servetto-zucca-atypeandeffectsystemforsharing-2017","role":"author","urls":{"Paper":"https://doi.org/10.1145/3019612.3019890"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/z/EZucca.bib","dataSources":["NhBqgkX23MS7AZK7a"],"keywords":[],"search_terms":["type","effect","system","sharing","giannini","servetto","zucca"],"title":"A type and effect system for sharing","year":2017}