A correctness proof for combinator reduction with cycles
ACM Transactions on Programming Languages and Systems (TOPLAS)
Compiling APL for parallel and vector execution
APL '91 Proceedings of the international conference on APL '91
A symbolic simulation model of the organization of human procedural knowledge
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Sequent combinators: a Hilbert system for the lambda calculus
Mathematical Structures in Computer Science
A functional shell that dynamically combines compiled code
IFL'03 Proceedings of the 15th international conference on Implementation of Functional Languages
A functional shell that operates on typed and compiled applications
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
| Hi-index | 0.00 |