Richard C. H. Connor Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs. 97-117 DBPL1997/P097.pdf 1997 DBPL db/conf/dbpl/dbpl97.html#Connor97 conf/dbpl/97 db/conf/dbpl/Connor97.html journals/cj/AtkinsonBCCM83 journals/cj/AtkinsonBM88 journals/toplas/AbadiCPP91 journals/jfp/AbadiCPR95 conf/db-workshops/AtkinsonM85 ... ... conf/pos/ConnorBCDMR90 conf/db-workshops/CardelliM85 ... ... journals/csur/CardelliW85 ... ... conf/pos/KirbyCCMDF92 ... ... conf/pos/MorrisonBCCDA89 journals/toplas/MitchellP88 ... ...