Expressing Mathematical Subroutines Constructively (1987)

Cached

Download Links

by Gerald L. Roylance
Citations:4 - 0 self

Active Bibliography

566 SELF: The power of simplicity – David Ungar, Randall B. Smith - 1987
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
449 MULTILISP: a language for concurrent symbolic computation – Robert H. Halstead - 1985
327 Shadows of the Mind – By Roger Penrose - 1994
309 StreamIt: A Language for Streaming Applications – William Thies, Michal Karczmarek, Saman Amarasinghe - 2001
288 Why functional programming matters – John Hughes - 1989
284 Heuristic Classification – William J. Clancey - 1985
231 Designing Efficient And Accurate Parallel Genetic Algorithms – Erick CantĂș-Paz - 1999
225 A Foundation for Actor Computation – Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott - 1998