Type-Safe Code Generation