Detecting global variables in denotational specifications
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Performance and evaluation of LISP systems
Performance and evaluation of LISP systems
Lambda lifting: transforming programs to recursive equations
Proc. of a conference on Functional programming languages and computer architecture
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Copy elimination in single assignment languages
Copy elimination in single assignment languages
A compositional analysis of evaluation-order and its application
LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Update analysis and the efficient implementation of functional aggregates
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Replacing function parameters by global variables
FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Globalization and live variables
PEPM '91 Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Syntactic detection of single-threading using continuations
Proceedings of the 5th ACM conference on Functional programming languages and computer architecture
Retire Fortran?: a debate rekindled
Communications of the ACM
Compiler-directed storage reclamation using object lifetime analysis
Compiler-directed storage reclamation using object lifetime analysis
A semantic model of reference counting and its abstraction (detailed summary)
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Path analysis and the optimization of nonstrict functional languages
Path analysis and the optimization of nonstrict functional languages
A randomized implementation of multiple functional arrays
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Parallel destructive updating in strict functional languages
LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Purely functional random-access lists
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
A Formally Verified Sorting Certifier
IEEE Transactions on Computers
Analysis-based program transformations
ACM SIGSOFT Software Engineering Notes
Inductive graphs and functional graph algorithms
Journal of Functional Programming
Set constraints for destructive array update optimization
Journal of Functional Programming
Efficient implementation of aggregates in united functions and objects
ACM-SE 33 Proceedings of the 33rd annual on Southeast regional conference
The Higher-Order Aggregate Update Problem
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Hi-index | 0.01 |