Connecting Constrained Constructor Patterns and Matching Logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu WRLA@ETAPS 2020: 19-37 BIB
