308:
190:
378:
154:
Jones, Simon L. Peyton; Clack, Chris; Salkild, Jon; Hardie, Mark (1987). "GRIP — a high-performance architecture for parallel graph reduction". In Kahn, Gilles (ed.).
349:
292:
128:
39:
368:
259:
173:
104:
342:
383:
373:
47:
335:
132:
43:
246:. Lecture Notes in Computer Science. Vol. 5083. Berlin, Heidelberg: Springer. pp. 129–146.
158:. Lecture Notes in Computer Science. Vol. 274. Berlin, Heidelberg: Springer. pp. 98–112.
220:
110:
239:
315:
255:
212:
169:
100:
319:
247:
202:
159:
92:
32:
307:
240:"The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA"
362:
91:. LFP '80. New York, NY, USA: Association for Computing Machinery. pp. 128–135.
83:
Clarke, T. J.W.; Gladstone, P. J.S.; MacLean, C. D.; Norman, A. C. (25 August 1980).
114:
224:
89:
Proceedings of the 1980 ACM conference on LISP and functional programming - LFP '80
63:
251:
84:
207:
28:
216:
42:, the multiprocessor GRIP ("Graph Reduction In Parallel") computer, built at
164:
96:
24:
51:
38:
Examples include the SKIM ("S-K-I machine") computer, built at the
295:, Parallel Functional Programming: An Introduction, Kevin Hammond
242:. In Chitil, Olaf; Horváth, Zoltán; Zsók, Viktória (eds.).
156:
Functional
Programming Languages and Computer Architecture
278:
T. J. W. Clarke, P. Gladstone, C. MacLean, A. C. Norman:
323:
244:
46:, and the Reduceron, which was implemented on an
343:
191:"The Reduceron reconfigured and re-evaluated"
8:
379:University of Cambridge Computer Laboratory
40:University of Cambridge Computer Laboratory
350:
336:
238:Naylor, Matthew; Runciman, Colin (2008).
206:
189:Naylor, Matthew; Runciman, Colin (2012).
163:
75:
85:"SKIM - the S, K, I reduction machine"
50:with the single purpose of executing
7:
304:
302:
280:SKIM — The S, K, I Reduction Machine
322:. You can help Knowledge (XXG) by
14:
195:Journal of Functional Programming
306:
282:. LISP Conference, 1980: 128–135
131:. 31 July 2002. Archived from
1:
369:Applicative computing systems
252:10.1007/978-3-540-85373-2_8
400:
301:
208:10.1017/S0956796812000214
44:University College London
16:Special-purpose computer
384:Computer hardware stubs
165:10.1007/3-540-18317-5_7
21:graph reduction machine
374:Functional programming
97:10.1145/800087.802798
23:is a special-purpose
129:"Reduction Machines"
293:Reduction Machines
331:
330:
316:computer hardware
261:978-3-540-85373-2
175:978-3-540-47879-9
106:978-1-4503-7396-8
27:built to perform
391:
352:
345:
338:
310:
303:
266:
265:
235:
229:
228:
210:
201:(4–5): 574–613.
186:
180:
179:
167:
151:
145:
144:
142:
140:
125:
119:
118:
80:
31:calculations by
399:
398:
394:
393:
392:
390:
389:
388:
359:
358:
357:
356:
299:
289:
275:
273:Further reading
270:
269:
262:
237:
236:
232:
188:
187:
183:
176:
153:
152:
148:
138:
136:
135:on 31 July 2002
127:
126:
122:
107:
82:
81:
77:
72:
60:
33:graph reduction
17:
12:
11:
5:
397:
395:
387:
386:
381:
376:
371:
361:
360:
355:
354:
347:
340:
332:
329:
328:
311:
297:
296:
288:
287:External links
285:
284:
283:
274:
271:
268:
267:
260:
230:
181:
174:
146:
120:
105:
74:
73:
71:
68:
67:
66:
59:
56:
15:
13:
10:
9:
6:
4:
3:
2:
396:
385:
382:
380:
377:
375:
372:
370:
367:
366:
364:
353:
348:
346:
341:
339:
334:
333:
327:
325:
321:
318:article is a
317:
312:
309:
305:
300:
294:
291:
290:
286:
281:
277:
276:
272:
263:
257:
253:
249:
245:
241:
234:
231:
226:
222:
218:
214:
209:
204:
200:
196:
192:
185:
182:
177:
171:
166:
161:
157:
150:
147:
134:
130:
124:
121:
116:
112:
108:
102:
98:
94:
90:
86:
79:
76:
69:
65:
62:
61:
57:
55:
53:
49:
45:
41:
36:
34:
30:
26:
22:
324:expanding it
313:
298:
279:
243:
233:
198:
194:
184:
155:
149:
137:. Retrieved
133:the original
123:
88:
78:
64:SECD machine
37:
20:
18:
363:Categories
70:References
29:combinator
217:1469-7653
115:10189254
58:See also
25:computer
225:1310090
52:Haskell
258:
223:
215:
172:
139:1 July
113:
103:
314:This
221:S2CID
111:S2CID
320:stub
256:ISBN
213:ISSN
170:ISBN
141:2023
101:ISBN
48:FPGA
248:doi
203:doi
160:doi
93:doi
365::
254:.
219:.
211:.
199:22
197:.
193:.
168:.
109:.
99:.
87:.
54:.
35:.
19:A
351:e
344:t
337:v
326:.
264:.
250::
227:.
205::
178:.
162::
143:.
117:.
95::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.