Richard C. H. Connor. Existentially Quantified Procedures: A Mechanism for Abstracting Type in Dynamic Typing Constructs. In Sophie Cluet, Richard Hull, editors, Database Programming Languages, 6th International Workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997, Proceedings. Volume 1369 of Lecture Notes in Computer Science, pages 97-117, Springer, 1997. [doi]
Abstract is missing.