|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| AncGiaZucLipics17 (In proceedings) | |
| Author(s) | Davide Ancona, Paola Giannini and Elena Zucca |
| Title | « Constrained polymorphic types for a calculus with name variables » |
| In | TYPES 2015 (Post-Proceedings) |
| Series | Leibniz International Proceedings in Informatics (LIPIcs) |
| Editor(s) | Tarmo Uustalu |
| Volume | 69 |
| Year | 2017 |
| Publisher | Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik |
| Address | Dagstuhl, Germany |
| BibTeX code |
@inproceedings{AncGiaZucLipics17,
volume = {69},
bibsource = {dblp computer science bibliography, http://dblp.org},
author = { Davide Ancona and Paola Giannini and Elena Zucca },
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
booktitle = { TYPES 2015 (Post-Proceedings)},
editor = {Tarmo Uustalu},
title = {{ Constrained polymorphic types for a calculus with name variables
}},
address = {Dagstuhl, Germany},
biburl = {http://dblp.org/rec/bib/dblpnote/ellipsis},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
year = {2017},
}
|
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)