User:Chalst/bib
General rewriting
[edit]- Banachk & Papadopoulos 1997, A study of two graph rewriting formalisms: Interaction Nets and MONSTR - MONSTR is an engine that provides a fairly general term-graph rewriting engine GSc
Optimal reductions
[edit]- Fernandez and Mackie,
- Guerrini 1999, A general theory of sharing graphs - Argues for naturality of sharing graphs as a model of functional programming
History of computing
[edit]- Hillis and Steele 1986, Data Parallel Algorithms - Article in CACM introducing Connection Machines