tipoW-DamianiTatsuta:GANDALF-11 (In proceedings)
|
Author(s) | Makoto Tatsuta and Ferruccio Damiani |
Title | « Type Inference for Bimorphic Recursion » |
In | GandALF |
Series | EPTCS |
Volume | 54 |
Page(s) | 102-115 |
Year | 2011 |
@inproceedings{tipoW-DamianiTatsuta:GANDALF-11,
booktitle = {GandALF},
volume = {54},
title = {Type Inference for Bimorphic Recursion},
author = {Makoto Tatsuta and Ferruccio Damiani},
series = {EPTCS},
pages = {102-115},
year = {2011},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)