@conference {DBLP:conf/pos/AlbanoGOP85, title = {The Type System of Galileo}, booktitle = {Data Types and Persistence (Appin), Informal Proceedings}, year = {1985}, pages = {175-195}, author = {Antonio Albano and Fosca Giannotti and Renzo Orsini and Dino Pedreschi} } @conference {DBLP:conf/db-workshops/AlbanoGOP85, title = {The Type System of Galileo}, booktitle = {Data Types and Persistence (Appin)}, year = {1985}, pages = {101-119}, author = {Antonio Albano and Fosca Giannotti and Renzo Orsini and Dino Pedreschi} }