Planar point location using persistent search trees
Communications of the ACM
Journal of the ACM (JACM)
Real-Time Simulation of Multihead Tape Units
Journal of the ACM (JACM)
Recursive functions of symbolic expressions and their computation by machine, Part I
Communications of the ACM
Comparative schematology and pebbling with auxiliary pushdowns (Preliminary Version)
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
LISP 1.5 Programmer's Manual
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
ACM Transactions on Programming Languages and Systems (TOPLAS)
The expressive power of higher-order types or, life without CONS
Journal of Functional Programming
More haste, less speed: lazy versus eager evaluation
Journal of Functional Programming
| Hi-index | 0.01 |