Constructive Bidirectional Programming - Zhenjiang Hu | Lambda Days 2021 Published -- Download video MP4 360p