Xiaohong Chen Member Status: Collaborator Institution: Formal Systems Laboratory, University at Illinois at Urbana Champaign, US Web Address Publications 2023 Capturing constrained constructor patterns in matching logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB 2021 Matching logic explained Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB 2020 Connecting Constrained Constructor Patterns and Matching Logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB
Capturing constrained constructor patterns in matching logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB
Connecting Constrained Constructor Patterns and Matching Logic Xiaohong Chen and Grigore Rosu and Dorel Lucanu BIB
