Credits

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 Boxer program on microcomputers was developed with major support by the National Science Foundation (MDR 86-42177, MDR 88-50363). Subsequent NSF grants supported the development of materials using Boxer and minor extensions (RED-92-52725, RED-9553902). The NSF did not support development of Macintosh Boxer, documentation or demos. Some Boxer development was done with support from the Spencer Foundation. Development has also benefited from two gifts of equipment from Sun Microsystems. The Graduate School of Education, U.C. at Berkeley provided additional support.

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.