Well-Typed programs can't be blamed

Philip Wadler*, Robert Bruce Findler

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

145 Scopus citations

Fingerprint

Dive into the research topics of 'Well-Typed programs can't be blamed'. Together they form a unique fingerprint.

INIS

Medicine and Dentistry

Biochemistry, Genetics and Molecular Biology