Michel Sintzoff Endomorphic Typing. 305-323 1993 conf/ifip2-1/1993 Formal Program Development db/conf/ifip2-1/ifip2-1-1993.html#Sintzoff93