Live Pattern Matching with Typed Holes. - Yongwei Yuan; Scott Guest; Eric Griffis; Hannah Potter; David Moon; Cyrus Omar (Proc. ACM Program. Lang., 2023)