POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Correspondence between ALGOL 60 and Church's Lambda-notation: part I
Communications of the ACM
Proceedings of the Third International Conference on Logic Programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
ACM '77 Proceedings of the 1977 annual conference
Rabbit: A Compiler for Scheme
Hi-index | 0.00 |