Boxer is copyrighted by Andrea A. diSessa and Edward H. Lay (1986-2001). Some portions of Boxer may be copyrighted by MIT.
Andrea diSessa has been the PI and Boxer Project Director at UC Berkeley. Edward Lay has been Chief Systems Designer/Implementor.
Major support for Boxer was provided by the National Science Foundation. Grant numbers are listed below and in the Boxer bibliography, accessible from the "Papers" link. Other support was provided by Sun Microsystems, Apple Computer, the Spencer Foundation, and the Graduate School of Education, UC Berkeley, and DARPA. None of these organizations necessarily endorse any of the statements contained in these Web pages or in any of the referenced papers or materials.
Detailed Technical Credits
The main systems development for Boxer was originally done with Lucid Common Lisp. That work began with funding by the Defense Advanced Research Projects Agency (DARPA) under a grant to the MIT Laboratory for Computer Science, M. Dertouzos, director. The Macintosh version uses Macintosh Common Lisp, by Digitool, Inc., Cambridge, MA. Apple supplied a gift to support graduate students to work on Boxer software. Mike Travers did the initial port to the Macintosh, and supplied other help for that version. Leigh Klotz designed and built the core of the original interpreter. Gregor Kiczalis implemented the first editor/redisplay. Hal Abelson co-founded the Boxer Project at MIT and contributed to the early design.