Type systems1996-03-0145 OA AI LLuca Cardelli * DOI:10.1145/234313.234418OriginalShareSaveView PDFAbstract En