Compile the abstraction