COBWEB - A Combinator Reduction Architecture.

Chris Hankin Peter Osmon Malcolm J. Shute COBWEB - A Combinator Reduction Architecture. 99-112 1985 FPCA db/conf/fpca/fpca85.html#HankinOS85