Linear Lisp

[fare]

Implement a practical variant of Lisp that supports Linear Logic, such that the Garbage Collector can be written in the language itself, and efficient real-time resource-constrained device-drivers can be written.

See also:

• Henry Baker's Classic papers on Linear Lisp, e.g. Lively Linear Lisp — 'Look Ma, No Garbage!' and many more.
• Carp (see notably its Research page; see also this HN discussion)
• Alan Bawden's thesis "Implementing Distributed Systems using Linear Naming" aka AITR-1627
• Wadler: A Taste of Linear Logic
• URAL types (Unrestricted, Relevant, Affine, Linear).
• Rust
• Oxide: The Essence of Rust
• Linear Types in ATS
• Jesse Tov's ALMS
• Uniqueness typing in Clean