Suad Alagic Constrained Matching is Type Safe. 78-96 DBPL1997/P078.pdf 1997 DBPL db/conf/dbpl/dbpl97.html#Alagic97 conf/dbpl/97 db/conf/dbpl/Alagic97.html conf/slp/AbadiM87 conf/ecoop/AbadiC95 conf/cdb/Alagic97 conf/oopsla/Alagic97 journals/tcs/AlagicA97 ... conf/ecoop/AlagicSB94 conf/ewdw/Alagic94 journals/vldb/AtkinsonM95 books/mk/BancilhonDK92 ... conf/popl/Bruce93 conf/oopsla/BruceCMGDM93 conf/ecoop/BruceSG95 conf/ecoop/BoylandC96 journals/toplas/Castagna95 conf/fpca/CanningCHOM89 conf/popl/CookHC90 journals/cj/Cook89 conf/ecoop/GaweckiM96 ... books/mit/shriverW87/GoguenM87 ... ... journals/jacm/KiferLW95 ... journals/toplas/LiskovW94 conf/ecoop/Meseguer93 ... conf/ecoop/WieringaJS94