Author:
Hudak Paul,Peyton Jones Simon,Wadler Philip,Boutel Brian,Fairbairn Jon,Fasel Joseph,Guzmán María M.,Hammond Kevin,Hughes John,Johnsson Thomas,Kieburtz Dick,Nikhil Rishiyur,Partain Will,Peterson John
Abstract
"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."
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Cited by
307 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Variational satisfiability solving: efficiently solving lots of related SAT problems;Empirical Software Engineering;2022-11-28
2. Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking;Lecture Notes in Computer Science;2022
3. Persistent software transactional memory in Haskell;Proceedings of the ACM on Programming Languages;2021-08-22
4. Context-sensitive Rewriting;ACM Computing Surveys;2021-07-31
5. Exception Handling and Classical Logic;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07