by Antoni Diller
How Turner's combinator-based graph-reducers can be used to implement functional programming languages.