Grigore Rosu, Xiaohong Chen 0002. Matching logic: the foundation of the K framework (invited talk). In Jasmin Blanchette, Catalin Hritcu, editors, Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020. pages 1, ACM, 2020. [doi]
Abstract is missing.