Author:
Castan M.,Durand M.-H.,Lemaître M.
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference13 articles.
1. An abstraction algorithm for combinatory logic;Abdali;J. Symbolic Logic,1976
2. A linear space translation of functional programs to Turner combinators;Burton;Inform. Process. Lett.,1982
3. Categorical combinatory logic;Curien,1985
4. Efficient compilation of lazy evaluation;Johnsson,1984
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On addition schemes;TAPSOFT '91;1991
2. MaRS, a combinator graph reduction multiprocessor;PARLE '89 Parallel Architectures and Languages Europe;1989
3. MaRs: a parallel graph reduction multiprocessor;ACM SIGARCH Computer Architecture News;1988-06