<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html xmlns="http://www.w3.org/1999/xhtml"> <head><title>bnewbold thesis</title></head> <body style="margin: 25px; font-family: helvetica;"> <h1 style="border-bottom: 2px solid;"> Journal: Feb 19, 2009</h1> <i>Bryan Newbold, <a href="mailto:bnewbold@mit.edu">bnewbold@mit.edu</a></i><br /> <i><a href="http://web.mit.edu/bnewbold/thesis/"> http://web.mit.edu/bnewbold/thesis/</a></i> <br /><p /> <!-- ================================================================ --> <!-- ================================================================ --> This site looks like a reasonable resource for computer algebra systems and symbolic manipulation: <a href="http://www.symbolicnet.org/toc.html"> symbolicnet.org</a>. <br /><br /> <a href="http://www.aei.mpg.de/~peekas/cadabra/">Cadabra</a> is a CAS designed for tensor manipulation and field theories (in C++ with TeX based input/output). <br /><br /> <a href="http://reduce-algebra.com/">Reduce</a> is an old CAS system writen in standard lisp. Includes a FORTRAN and C generation engine called gentran (<a href="http://reduce-algebra.com/docs/gentran.pdf">pdf</a>, <a href="http://portal.acm.org/citation.cfm?id=1089415">acm paper</a>). <br /><br /> The proper word for the type heirarchy is 'ontology'. See also footnote <a href="http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-18.html#footnote_Temp_289">52</a> in section 2.5 of SICP. <hr /> Here's a reading list of scheme stuff... not really related to this project, but still looks fun! Grafted from <a href="http://readscheme.org">readscheme.org</a> <ul> <li /><a href="# Jonathon Sobel and Daniel P. Friedman. "Recycling Continuations". 1998 International Conference on Functional Programming (ICFP'98). September 1998. ">http://www.cs.indiana.edu/hyplan/jsobel/Recycling/recycling.pdf</a> <li />Robert Strandh. "OOOZ, A multi-User Programming Environment Based on Scheme". BIGRE Bulletin. 65. July 1989 <li /><a href="http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-1325.pdf">Michael A. Eisenberg. "Programmable Applications: Interpreter Meets Interface". MIT AI Lab. AIM-1325. October 1991</a> <li /><a href="http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AITR-925.pdf">Guillermo J. Rozas. "A Computational Model for Observation in Quantum Mechanics". Masters Thesis. Massachusetts Institute of Technology. AITR-925. March 1987.</a> <li /><a href="http://repository.readscheme.org/ftp/papers/sw2005/chongkai.pdf">Chongkai Zhu. "The Marriage of MrMathematica and MzScheme". 2005 Workshop on Scheme and Functional Programming. September 2005.</a> <li /><a href="http://repository.readscheme.org/ftp/papers/sw2003/Dot-Scheme.pdf">Pedro Pinto. "Dot-Scheme: A PLT Scheme FFI for the .NET framework". Scheme Workshop 2003. November 2003. </a> <li /><a href="http://repository.readscheme.org/ftp/papers/sw2003/Scmxlate.pdf">Dorai Sitaram. "Porting Scheme Programs". Scheme Workshop 2003. November 2003.</a> <li /><a href="http://portal.acm.org/citation.cfm?id=802786&coll=portal&dl=ACM">Mitchell Wand. "Continuation-Based Multiprocessing". Conference Record of the 1980 Lisp Conference. 1980. </a> <li /><a href="http://portal.acm.org/citation.cfm?id=99178&coll=Portal">R. Kent Dybvig and Robert Hieb. "Continuations and Concurrency". Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. March 1990.</a> <li /><a href="http://repository.readscheme.org/ftp/papers/PLoP2001_dferguson0_1.pdf">Darrell Ferguson and Dwight Deugo. "Call with Current Continuation Patterns". 8th Conference on Pattern Languages of Programs. September 2001.</a> <li /><a href="http://repository.readscheme.org/ftp/papers/sw2000/feeley.pdf">Marc Feeley. "A portable implementation of first-class continuations for unrestricted interoperability with C in a multithreaded Scheme". Scheme and Functional Programming 2000.</a> <li ><a href="ftp://publications.ai.mit.edu/ai-publications/pdf/AITR-474.pdf">RABBIT: A compiler for scheme</a> </ul> <br /><br /> <a href="16feb2009.html"><i>(previous entry)</i></a> - <a href="26feb2009.html"><i>(next entry)</i></a> <!-- ================================================================ --> <!-- ================================================================ --> </body> </html>