Vatican: A lazy specializing virtual machine for purely functional languages

Some interesting reading about the motivations behind this http://www.reddit.com/r/haskell/comments/euhgi/luquis_vatica...

Some more background https://lukepalmer.wordpress.com/2009/07/07/emphasizing-spec... .