related documents Constraint programming for type inference in flexible model-driven engineering Conferences