Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Information Processing Letters
AVL-trees for localized search
Information and Control
Views: a way for pattern matching to cohabit with data abstraction
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Making data structures persistent
Journal of Computer and System Sciences - 18th Annual ACM Symposium on Theory of Computing (STOC), May 28-30, 1986
The definition of Standard ML
Update analysis and the efficient implementation of functional aggregates
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
How to make destructive updates less destructive
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Planar graph decomposition and all pairs shortest paths
Journal of the ACM (JACM)
Computing external farthest neighbors for a simple polygon
Discrete Applied Mathematics
ML for the working programmer
Shallow binding makes functional arrays fast
ACM SIGPLAN Notices
Journal of the ACM (JACM)
A randomized implementation of multiple functional arrays
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Imperative functional programming
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Real-time deques, multihead Turing machines, and purely functional programming
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Persistent lists with catenation via recursive slow-down
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
A real-time garbage collector based on the lifetimes of objects
Communications of the ACM
A data structure for manipulating priority queues
Communications of the ACM
Communications of the ACM
Fully Persistent Arrays (Extended Array)
WADS '89 Proceedings of the Workshop on Algorithms and Data Structures
A Logarithmic Implementation of Flexible Arrays
Proceedings of the Second International Conference on Mathematics of Program Construction
Efficient applicative data types
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Localized search in sorted lists
STOC '81 Proceedings of the thirteenth annual ACM symposium on Theory of computing
The efficient implementation of very-high-level programming language constructs
The efficient implementation of very-high-level programming language constructs
A probabilistic approach to the problem of automatic selection of data representations
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Bootstrapping one-sided flexible arrays
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Automated Benchmarking of Functional Data Structures
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Inductive benchmarking for purely functional data structures
Journal of Functional Programming
Purely functional worst case constant time catenable sorted lists
ESA'06 Proceedings of the 14th conference on Annual European Symposium - Volume 14
IFL'02 Proceedings of the 14th international conference on Implementation of functional languages
Hi-index | 0.00 |