Well-Typed programs can't be blamed

Philip Wadler*, Robert Bruce Findler

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

146 Scopus citations


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


Medicine and Dentistry

Biochemistry, Genetics and Molecular Biology