Computing with the Curry Chip
William M. Farmer, John D. Ramsdell, Ronald J. Watro
1989
The Curry Chip implements a simple, but powerful model of computation
based on combinatory logic. The chip's primary function is to
efficiently reduce combinator terms via graph reduction. The
simplicity of the model of computation yields an easily understood
computer chip, which has been constructed using VLSI.
This document contains a collection of five papers on the Curry Chip.
The papers describe the model of computation, its implementation using
VLSI, and the programming language. A correctness proof of some of
the implementation techniques is also given.