|
eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/5820
| Title: | Quotation and Reflection in Nuprl and Scheme |
| Authors: | Barzilay, Eli |
| Keywords: | computer science
technical report |
| Issue Date: | 8-Jan-2001 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR2001-1832 |
| Abstract: | Relationships between the concepts of proof systems and programming languages are known. Some are well demonstrated in systems like Coq and Nuprl, but other aspects have not been fully implemented, such as reflection. I believe that the true context in which such ideas are becoming useful is when they are implemented, this ``implementation as understanding'' principle is the reason some parts of the following text contain code pieces. This should take the form of a logical environment with reflection mechanisms, Nuprl is a good choice since it is used for connecting logic and programming languages. Therefore, the first step towards creating such an implementation should be taken: pinpointing what should be done, and how. This paper is an attempt to do this. |
| URI: | http://hdl.handle.net/1813/5820 |
| Appears in Collections: | Computer Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
