Robert Cartwright, Mike Fagan. Soft Typing. In David S. Wise, editor, Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991. pages 278-292, ACM, 1991. [doi]
Abstract is missing.