The Type System of LML

You are here

TitleThe Type System of LML
Publication TypeBook
Year of Publication1992
AuthorsBertolino, B, Meo, L, Pedreschi, D, Turini, F
Series TitleTypes in Logic Programming
Number of Pages313-332
Taxonomy upgrade extras: