Lambda the Ultimate

I haven't seen any posts about this yet, so I thought I'd point it out: ICFP 06 is over, and there are lots of interesting articles.

E.g. from the Scheme Workshop:

• HOAS: [Barzilay] using higher-order syntax for normal code (not just macros)
• "From Variadic Functions to Variadic Relations: A miniKanren Perspective": [Byrd, Friedman]:
  discusses pseudo-variadic functions
• Termite Scheme [Germain, Feeley, Monnier]: Erlang-style processes in Scheme (the latest version)
• Incremental compiler construction [Ghuloum]
• "SHard: a Scheme to Hardware Compiler" [Saint-Mleux, Feeley, David]: compiling Scheme to FPGAs
• and more..