procedurally reflective dialect of LISP  

Brian Smith. A procedurally reflective dialect of LISP which uses an infinite tower of interpreters.

Related languages
2-LISP => 3-LISP   Evolution of
3-LISP => 3-KRS   Evolution of
3-LISP => Black   Influence
3-LISP => Blond   Evolution of
3-LISP => Brown   Evolution of
3-LISP => Classtalk   Influence
3-LISP => CLOS   Influence
3-LISP => METAJ   Influence
3-LISP => MIKE   Incorporated some features of
3-LISP => ObjVlisp   Influence
3-LISP => Stepper   Evolution of

  • Smith, Brian Cantwell "Reflection and Semantics in a Procedural Language" MIT 1982 view details
  • des Rivieres, J.; Smith, B.C. "The implementation of procedurally reflective languages" view details
          in Proceedings of the 1984 ACM Symposium on LISP and functional programming, , August 06-08, 1984, Austin, Texas, view details
  • Smith, B.C. "Reflection and Semantics in Lisp" pp23-35 view details
          in [ACM SIGACT-SIGPLAN] Proceedings of the 11th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages POPL 84 1984 , Salt Lake City, Utah, United States view details
  • Padget, J. A. "Current Development in LISP" view details Abstract: This talk is a survey, in part from firsthand experience of the
    current developments in LISP and specialized LISP hardware
    happening in Europe, America and Japan. This research will
    have major implications for computer algebra and algebra system
    Although LISP, by its extensible nature, has always been an
    evolving language, unconstrained by standards, the past few
    years have been amongst the most active. In the field of
    language work there have been SCHEME-84, Common LISP,
    Standard LISP 85 and 3-LISP, whilst in hardware there are the
    continuing development of Symbolics, the arrival of Texas
    Instruments, several experimental machines in Japan, such as
    FLATS, Alpha and TAO, and the start of similar projects in
    How all these factors will affect future developments and implementations
    also be discussed.
          in European Conference on Computer Algebra EUROCAL 85 LNCS 204 view details