On the design of a mode-based symbolic system
Richard D. Jenks · ACM SIGSAM Bulletin · 1977
This paper is a preliminary report on the design and implementation of a mode-based symbolic programming system and compiler which allows programming with rewrite rules and let and is pattern-match constructs. An important feature of this design is the provision for mode-valued variables which allow algebraic domains to be run-time parameters.