Comments on: Dmitrii Kosarev and Dmitry Boulytchev: Relational Synthesis of Pattern Matching

Comments on: Dmitrii Kosarev and Dmitry Boulytchev: Relational Synthesis of Pattern Matching https://www.coalg.org/tease-lp/2020/relational-synthesis-of-pattern-matching/ TEASE-LP, 28 and 29 May 2020, Virtual Event Wed, 27 May 2020 20:55:20 +0000 hourly 1 https://wordpress.org/?v=6.1.1