Relaxed Data Types as Consistency Conditions.

Edward Talmage, Jennifer L. Welch

Browse the full SSS paper archive.