Some of the "old Lisp things" are becoming new again. For example, John Shutt has developed a non-trivial theory of F-Expressions (vau-calculus)[1] and a langu

Some of the "old Lisp things" are becoming new again. For example, John Shutt has developed a non-trivial theory of F-Expressions (vau-calculus)[1] and a language named Kernel that employs them[2]. Neither has received wide attention yet, but the Lisp renaissance of the past few years is still young... [1] https://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/unrestricted/jshutt.pdf https://www.wpi.edu/Pubs/ETD/Available/etd-090110-124904/unr... [2] ftp://ftp.cs.wpi.edu/pub/techreports/pdf/05-07.pdf