Publications

Export 2 results:
Sort by: Author Title [ Type (Asc)] Year
Book
Bertolino, B, Meo L, Pedreschi D, Turini F.  1992.  The Type System of LML. Types in Logic Programming. :313-332.
Conference Paper
Bertolino, B, Mancarella P, Meo L, Nini L, Pedreschi D, Turini F.  1988.  A Progress Report on the LML Project. FGCS. :675-684.