%0 Book %B Types in Logic Programming %D 1992 %T The Type System of LML %A Bruno Bertolino %A Luigi Meo %A Dino Pedreschi %A Franco Turini %B Types in Logic Programming %P 313-332 %G eng %0 Conference Paper %B FGCS %D 1988 %T A Progress Report on the LML Project %A Bruno Bertolino %A Paolo Mancarella %A Luigi Meo %A Luca Nini %A Dino Pedreschi %A Franco Turini %B FGCS %P 675-684 %G eng