|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| tipoA-Damiani:TOPLAS-03 (Article) | |
| Author(s) | Ferruccio Damiani |
| Title | « Rank 2 intersection types for local definitions and conditional expressions » |
| Journal | ACM Transactions On Programming Languages and Systems |
| Volume | 25 |
| Number | 4 |
| Page(s) | 401--451 |
| Year | 2003 |
| URL | http://www.di.unito.it/~damiani/papers/tr02.html |
| BibTeX code |
@article{tipoA-Damiani:TOPLAS-03,
number = {4},
volume = {25},
author = {Ferruccio Damiani},
url = {http://www.di.unito.it/~damiani/papers/tr02.html},
title = {Rank 2 intersection types for local definitions and conditional
expressions},
tag = {ACM Transactions On Programming Languages and Systems, 25(4):401-451},
publisher = {ACM},
year = {2003},
pages = {401--451},
journal = {ACM Transactions On Programming Languages and Systems},
}
|
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)