David C. J. Matthews Static and Dynamic Type Checking. 67-73 DBPL1987/P067.pdf 1987 DBPL db/conf/dbpl/dbpl87.html#Matthews87 conf/dbpl/87 db/conf/dbpl/Matthews87.html ... ... conf/popl/GordonMMNW78 books/sp/Liskov81 conf/lfp/MacQueen84 ... ... conf/lfp/Milner84 journals/acta/WijngaardenMPKSLMF75