J.P. Talpin, P. Le Guernic. Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design. In Formal Methods and Models for System Design, Kluwer Academic Publishers, 2004.
@InCollection{Kluwer04a,
Author = {Talpin, J.P. and Le Guernic, P.},
Title = {Algebraic theory for behavioral type inference, chapter in Formal Methods and Models for System Design},
BookTitle = {Formal Methods and Models for System Design},
Publisher = {Kluwer Academic Publishers},
Year = {2004}
}
Get EndNote Reference (.ref)
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.