We briefly overview the theory and applications of "matching with contracts" model. First, we introduce the baseline model and the cumulative offer mechanism, which has played a major role in the literature. Second, we present their application to real-world matching problems. Lastly, we discuss the “structure-free” approach to identify properties of a good mechanism, independently of its algorithmic details.