Fixing some space leaks with a garbage collector
Software—Practice & Experience
Safety consideration for storage allocation optimizations
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Communication and concurrency
Equality in lazy computation systems
Proceedings of the Fourth Annual Symposium on Logic in computer science
Research topics in functional programming
Semantics with applications: a formal introduction
Semantics with applications: a formal introduction
Compiling with continuations
A natural semantics for lazy evaluation
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Fixing some space leaks without a garbage collector
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Functional programming and input/output
Functional programming and input/output
Properties of a first-order functional language with sharing
Theoretical Computer Science
Abstract models of memory management
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Lag, drag, void and use—heap profiling and space-efficient compilation revisited
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Proper tail recursion and space efficiency
PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
The spineless tagless G-machine, naturally
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The space usage problem: An evaluation kit for graph reduction semantics
Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00)
Deriving a lazy abstract machine
Journal of Functional Programming
Possibilities and limitations of call-by-need space improvement
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Runtime Behavior of Conversion Interpretation of Subtyping
IFL '02 Selected Papers from the 13th International Workshop on Implementation of Functional Languages
Plugging a Space Leak with an Arrow
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic amortised analysis of dynamic memory allocation for lazy functional programs
Proceedings of the 17th ACM SIGPLAN international conference on Functional programming
Hi-index | 0.00 |