Conrad Weisert Has the King Returned? 9-10 1993 28 SIGPLAN Notices 4 db/journals/sigplan/sigplan28.html#Weisert93