Nathan Sorenson discusses clojure-scheme, a ClojureScript compiler that translates Clojure code to Scheme code, showing how to compile this Schemified Clojure code to raw C or run it on iOS.
Daniel P. Friedman and William E. Byrd demonstrate miniKanren, a simplified version of KANREN - a declarative logic programming system with relations embedded in a pure functional subset of Scheme.
Matthew Flatt explains the Racket – a Lisp dialect – way through examples: everything is a program, concepts are language constructs, the language is extensible, and everything composes.
Guy Steele, Douglas Crockford, Josh Bloch, Alex Payne, Bruce Tate, and Ted Neward (moderator) hold a discussion on the future of programming. Topics included: the future beyond functional, running JVM/CLR on many cores, what is the future of type checking and type systems, languages for education, comparing DSLs and ubiquitous languages, proving code correctness, functional and parallelism.
Rebecca Parsons makes an basic introduction to functional languages, explaining how to think in a functional language, why is there renewed interested in them, and some nifty things about these languages.