Mason: Type- and Name-Guided Program Synthesis

Jasper Geer, Fox Huston, Jeffrey S. Foster

Object-oriented programs tend to be written using many common coding idioms, such as those captured by design patterns. While design patterns are useful, implementing them is often…