A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf
.
Static typing for a faulty lambda calculus
2006
Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming - ICFP '06
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorrect program execution by altering signal transfers or stored values. While the likelihood that such transient faults will cause any significant damage may seem remote, over the last several years transient faults have caused costly failures in high-end machines at America Online, eBay, and the Los Alamos Neutron
doi:10.1145/1159803.1159809
dblp:conf/icfp/WalkerMLRA06
fatcat:7gpg2gm6lfcgbg7f5r7oykp7gu