Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige. Constraint programming for type inference in flexible model-driven engineering. Computer Languages, Systems \& Structures, 49:216-230, 2017. [doi]
Abstract is missing.