Recursive compilation