|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GianniniSZ18a (In proceedings) | |
| Author(s) | Paola Giannini, Marco Servetto and Elena Zucca |
| Title | « A type and effect system for uniqueness and immutability » |
| In | Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018 |
| Editor(s) | Hisham M. Haddad, Roger L. Wainwright and Richard Chbeir |
| Page(s) | 1038--1045 |
| Year | 2018 |
| Publisher | ACM |
| URL | https://doi.org/10.1145/3167132.3167245 |
| BibTeX code |
@inproceedings{GianniniSZ18a,
bibsource = {dblp computer science bibliography, https://dblp.org},
author = {Paola Giannini and Marco Servetto and Elena Zucca},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied
Computing, {SAC} 2018, Pau, France, April 09-13, 2018},
timestamp = {Wed, 21 Nov 2018 12:43:56 +0100},
editor = {Hisham M. Haddad and Roger L. Wainwright and Richard Chbeir},
url = {https://doi.org/10.1145/3167132.3167245},
title = {A type and effect system for uniqueness and immutability},
biburl = {https://dblp.org/rec/bib/conf/sac/GianniniSZ18},
publisher = {{ACM}},
pages = {1038--1045},
year = {2018},
doi = {10.1145/3167132.3167245},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)