An architecture for mostly functional languages

Abstract

The addition of small amounts of special purpose hardware to conventional machines increases the efficiency of Lisp systems with dynamic type checks. In a similar way, this paper proposes additional hardware to dynamically check the correctness of parallel execution of Lisp programs.