Report on the programming language Haskell 论文
1992ACM SIGPLAN Notices引用 1022
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
摘要
"Some half dozen persons have written technically on combinatory logic, and most of these, including ourselves, have published something erroneous. Since some of our fellow sinners are among the most careful and competent logicians on the contemporary scene, we regard this as evidence that the subject is refractory. Thus fullness of exposition is necessory for accurary; and excessive condensation would be false economy here, even more than it is ordinarily."