Director strings as combinators
ACM Transactions on Programming Languages and Systems (TOPLAS)
Polymorphic strictness analysis using frontiers
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Benchmarking real-life image processing programs in lazy functional languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Towards lazy evaluation, sharing, and non-determinism in resolution based functional logic languages
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
Towards an introductory formal programming course
SIGCSE '94 Proceedings of the twenty-fifth SIGCSE symposium on Computer science education
Rationalized three instruction machine
IR '95 Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations
Lag, drag, void and use—heap profiling and space-efficient compilation revisited
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Lambda-dropping: transforming recursive equations into programs with block structure
PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
A systematic study of functional language implementations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Models and languages for parallel computation
ACM Computing Surveys (CSUR)
The spineless tagless G-machine, naturally
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
A non-deterministic call-by-need lambda calculus
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Higher-order dataflow and its implementation on stock hardware
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Specification and Correctness of Lambda Lifting
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Distributed Execution of Functional Programs Using the JVM
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Specification and correctness of lambda lifting
Journal of Functional Programming
Deriving a lazy abstract machine
Journal of Functional Programming
EQUALS – a fast parallel implementation of a lazy language
Journal of Functional Programming
Encyclopedia of Computer Science
Higher-Order and Symbolic Computation
Optimal Lambda Lifting in Quadratic Time
Implementation and Application of Functional Languages
Simple, effective code-size reduction for functional programs
IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
The brisk project: concurrent and distributed functional systems
FP'95 Proceedings of the 1995 international conference on Functional Programming
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing
Are needed redexes really needed?
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |