Browsing MIT by Subject "scheme"

Now showing items 1-2 of 2

  • Lisp: A Language for Stratified Design 

    Unknown author (1987-08-01)
    We exhibit programs that illustrate the power of Lisp as a language for expressing the design and organization of computational systems. The examples are chosen to highlight the importance of abstraction in program ...

  • Organon: A Symbolic Constraint Framework & Solver 

    Unknown author (2013-05-24)
    Organon is an open source system for expressing and solving complex symbolic constraints between generic entities. Our design avoids restricting the programmer s ability to phrase constraints; Organon acts purely as a ...