Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Breaking Through the Normalization Barrier: A Self-Interpreter for F-omega