|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
FRAMES NO FRAME |
tipoC-Damiani:PPDP-03 (In proceedings) | |
Author(s) | Ferruccio Damiani |
Title | « Rank 2 intersection types for modules » |
In | PPDP'03 |
Page(s) | 67--78 |
Year | 2003 |
Publisher | ACM |
URL | http://www.di.unito.it/~damiani/papers/ppdp03.html |
BibTeX code |
@inproceedings{tipoC-Damiani:PPDP-03,
author = {Ferruccio Damiani},
booktitle = {{PPDP'03}},
url = {http://www.di.unito.it/~damiani/papers/ppdp03.html},
tag = {PPDP'03, pages 67-78, ACM},
title = {Rank 2 intersection types for modules},
publisher = {ACM},
pages = {67--78},
year = {2003},
}
|
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)