Program Verification Through Soft Typing

Robert Cartwright, Matthias Felleisen. Program Verification Through Soft Typing. ACM Computing Surveys, 28(2):349-351, 1996.

Abstract

Abstract is missing.