[video] IDP-Z3: A truly declarative approach to programmingvideo.fosdem.org3 pointspcarbonn3 years ago