Language Implementation Framework