Not just functional programs. You can transform any old C program into specific ...

iskander on March 4, 2010 | parent | context | favorite | on: To Dissect a Mockingbird: A Graphical Notation for...

Not just functional programs. You can transform any old C program into specific subsets of lambda calculus (administrative normal form or continuation passing style) and do all your optimizations there.