-
Lispkit Lisp is a
lexically scoped,
purely functional subset of
Lisp (
Pure Lisp)
developed as a
testbed for
functional programming concepts. It was first...
-
Lisp (historically
LISP, an
abbreviation of "list processing") is a
family of
programming languages with a long
history and a distinctive,
fully parenthesized...
-
Evaluation and
Denotation of
Pure LISP Programs. He was
invited to
Stanford University in
California by John McCarthy, the
inventor of
LISP, to work in his Artificial...
-
Lispkit Lisp was an
influential compiler based on the SECD machine, and the SECD
machine has been used as the
target for
other systems such as
Lisp/370....
- The
programming language Lisp is the second-oldest high-level
programming language with
direct descendants and
closely related dialects still in widespread...
- varieties, not
further discussed in this article:
Atomistic pure-
LISP machine (APLM)
Atomistic full-
LISP machine (AFLM),
General atomistic pointer machines, Jone's...
- a
fully automatic, logic-based
theorem prover. They used a
variant of
Pure LISP as the
working logic.
Definitions are
formed as
totally recursive functions...
-
Although in
pure functional programming,
conditional expressions do not have side-effects, many
languages with
conditional expressions (such as
Lisp) support...
-
Strother (May 1983). A
Mechanical Proof of the
Turing Completeness of
Pure Lisp (PDF) (Technical report).
Institute for
Computing Science, University...
- Robert; Melville,
Robert (November 1981). "Real-time
queue operations in
pure Lisp".
Information Processing Letters. 13 (2): 50–54. doi:10.1016/0020-0190(81)90030-2...
