|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| CastagnaEtAl14 (In proceedings) | |
| Author(s) | Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet and Luca Padovani |
| Title | « Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax, Semantics, and Evaluation » |
| In | Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14) |
| Series | ACM SIGPLAN Notices |
| Volume | 49 |
| Page(s) | 5-17 |
| Year | 2014 |
| Publisher | ACM |
| BibTeX code |
@inproceedings{CastagnaEtAl14,
volume = {49},
author = {Giuseppe Castagna and Kim Nguyen and Zhiwu Xu and Hyeonseung Im and
Sergue{\"\i} Lenglet and Luca Padovani},
issue = {1},
series = {ACM SIGPLAN Notices},
booktitle = {Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages (POPL'14)},
title = {{Polymorphic Functions with Set-Theoretic Types - Part 1: Syntax,
Semantics, and Evaluation}},
publisher = {ACM},
doi = {10.1145/2535838.2535840},
year = {2014},
pages = {5-17},
}
|
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)