Age of Significance

Works In Progress | Books | Interviews | Talks | Philosophy of AI | Philosophy of Computation | Registration, Representation, and Ontology | Reflection | Replies | Courses | Projects | Miscellaneous | Photos | Notes | Papers

Selected works of Brian Cantwell Smith: Reflection

Computational Reflections (2025)
In preparation for publication by MIT Press.
Procedural Reflection in Programming Languages (edited 2012)
Ph.D. Thesis, 194 pages.

Ph.D. Thesis

Reflection and Semantics in Lisp (edited 2009)
Procedural reflection and 3-Lisp. 56 pages.

Conference Record of the Eleventh Annual acm Symposium on Principles of Programming Languages (popl), Salt Lake City, Utah, Jan. 1984, pp. 23–35

Varieties of Self-Reference (edited 2009)
Originally prepared at Xerox PARC. 25 pages.

Joseph Y. Halpern (ed.), Theoretical Aspects of Reasoning about Knowledge: Proceedings of the 1986 Conference, Monterey, California, March 19–22.

3Lisp Implementation (1984)
Technical paper on the implementation of 3-Lisp, with Jim des Rivieres. 40 pages.
Interim 3Lisp Reference Manual (1984)
Technical reference manual for 3-Lisp, with Jim des Rivieres. 124 pages.

Site suggestions? Requests? Contact: ageofsignificance@gmail.com