Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Compiling a Subset of APL Into a Typed Intermediate Language