Quasiquotation is the technology commonly used in Lisp to write program generating programs In this paper I will review the history and development of this technology and explain why it works so well in practice

λGTK (LAMBDA GTK) is a new, portable graphics layer for implementing graphical user interface (GUI) tools in Common Music [1] (CM), an algorithmic music composition environment that runs in Common Lisp [2] and Scheme [3]. λGTK provides a complete interface to the popular GTK2 [4] graphics libraries and currently supports the development of graphical displays in three different public domain Lis...

A new Prolog/Lisp type programming language called Qute is introduced. Qute computes (partial) recursive functions on the domain S of symbolic expressions in the sense of Sato[3], Sato and Hagiya[4]. Qute amalgamates Prolog and Lisp in a natural way. Any expression that is meaningful to Qute is either a Prolog expression or a Lisp expression and a Prolog (Lisp) expression is handled by the Prol...

The theory of classical realizability is a framework for the Curry-Howard correspondence which enables to associate program with each proof in Zermelo-Fraenkel set theory. But, almost all applications mathematics physics, probability, statistics, etc. use Analysis i.e. axiom dependent choice (DC) or even (full) (AC). It therefore important find explicit programs these axioms. Various solutions ...

The AM program, an early attempt to mechanize learning by discovery . has recently been expande d and extended to several other task domains. ,amt's ultimate failure apparently was due to its inability t o discover new, powerful. domain-specific heuristics for the various new fields it uncovered . At tha t time, it seemed straight-forward to simply add 'Heuristics' as one more field in which to...