An improved replacement strategy for function caching
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Conception, evolution, and application of functional programming languages
ACM Computing Surveys (CSUR)
Equal rights for functional objects or, the more things change, the more they are the same
ACM SIGPLAN OOPS Messenger
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Caching intermediate results for program improvement
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Analysis and caching of dependencies
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Tupling calculation eliminates multiple data traversals
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Disposable memo functions (extended abstract)
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A demand-driven set-based analysis
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Programming with variable functions
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Static caching for incremental computation
ACM Transactions on Programming Languages and Systems (TOPLAS)
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Composing contracts: an adventure in financial engineering (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Efficiency by Incrementalization: An Introduction
Higher-Order and Symbolic Computation
A scalable method for deductive generalization in the spreadsheet paradigm
ACM Transactions on Computer-Human Interaction (TOCHI)
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Dynamic Programming via Static Incrementalization
Higher-Order and Symbolic Computation
Dynamic Programming via Static Incrementalization
ESOP '99 Proceedings of the 8th European Symposium on Programming Languages and Systems
Polygonizing Implicit Surfaces in a Purely Functional Way
IFL '00 Selected Papers from the 12th International Workshop on Implementation of Functional Languages
Cycle therapy: a prescription for fold and unfold on regular trees
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Forms/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm
Journal of Functional Programming
Techniques for automatic memoization with applications to context-free parsing
Computational Linguistics
Non-deterministic recursive ascent parsing
EACL '91 Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics
Using lazy memo functions to add database assignments to a web programming course
Journal of Computing Sciences in Colleges
A delta-driven execution model for semantic computing
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A delta-driven execution model for semantic computing
OOPSLA '05 Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Program transformation by solving recurrences
Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
GridDB: a data-centric overlay for scientific grids
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Monadic memoization towards correctness-preserving reduction of search
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Program optimizations and transformations in calculation form
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Using types to parse natural language
FP'95 Proceedings of the 1995 international conference on Functional Programming
Functional programming with structured graphs
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |