tipoA-Damiani:MSCS-03 (Article)
|
Author(s) | Ferruccio Damiani |
Title | « A conjunctive type system for useless-code elimination » |
Journal | Mathematical Structures in Computer Science |
Volume | 13 |
Page(s) | 157-197 |
Year | 2003 |
URL | http://www.di.unito.it/~damiani/papers/mscs2.html |
@article{tipoA-Damiani:MSCS-03,
number = {},
volume = {13},
author = {Ferruccio Damiani},
url = {http://www.di.unito.it/~damiani/papers/mscs2.html},
title = {A conjunctive type system for useless-code elimination},
tag = {Mathematical Structures in Computer Science, 13:157-197},
publisher = {Cambridge University Press},
year = {2003},
pages = {157-197},
journal = {Mathematical Structures in Computer Science},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)