Detecting sharing of partial applications in functional languages

Authors:
Benjamin Goldberg
Affiliations:
Yale Univ., New Haven, CT
Venue:
Proc. of a conference on Functional programming languages and computer architecture
Year:
1987

The spineless G-machine

LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
A collecting interpretation of expressions

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications

POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Escape analysis on lists

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
A safety analysis for functional languages

PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Once upon a polymorphic type

Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A generic usage analysis with subeffect qualifiers

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Modular, higher-order cardinality analysis in theory and practice

Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Hi-index	0.00