|
10
|
Modelling Distributed Systems
– Akinori Yonezawa, Carl Hewitt
- 1977
|
|
198
|
A Foundation for Actor Computation
– Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
- 1998
|
|
6
|
Dynamic Graphics using Quasi Parallelism
– Kenneth M. Kahn, Carl Hewitt
- 1978
|
|
91
|
Lambda-Calculus Schemata
– Michael J. Fischer
- 1993
|
|
22
|
A Theorem Prover for a Computational Logic
– Robert S. Boyer, J Strother Moore
- 1990
|
|
|
Lambda-Calculus and Functional Programming
– Jonathan P. Seldin
|
|
9
|
On the Search for Tractable Ways of Reasoning about Programs
– C. B. Jones
- 2001
|
|
14
|
The Early Search for Tractable Ways of Reasoning About Programs
– C. B. Jones
- 2003
|
|
64
|
Scheme: An interpreter for extended lambda calculus
– Gerald Jay Sussman, Guy L Steele Jr.
- 1975
|
|
28
|
Representing Knowledge of Large-Scale Space
– Benjamin Jack Kuipers
- 1977
|
|
65
|
The Incremental Garbage Collection of Processes
– Henry G. Baker, Carl Hewitt
- 1977
|
|
1
|
Concurrent, Object-Oriented Natural Language Parsing: The
– Parsetalk Model Udo, Udo Hahn, Susanne Schacht, Norbert Brker
- 1994
|
|
24
|
Concurrent, Object-Oriented Natural Language Parsing: The ParseTalk Model
– Udo Hahn, Susanne Schacht, Norbert Bröker
- 1994
|
|
|
Programming Languages
– B. Wegbreit
|
|
7
|
The Many Disguises of Accumulation
– Eerke Boiten
- 1991
|
|
6
|
Recursion Versus Iteration at Higher-Orders
– A.J. Kfoury
- 1997
|
|
49
|
Structured programming with go to statements
– Donald E. Knuth
- 1974
|
|
|
Indeterminate Applicative Systems
– The Positiveintegers The
|
|
116
|
On the Expressive Power of Programming Languages
– Matthias Felleisen
- 1990
|
