Practical aspects of declarative languages 19th international symposium, PADL 2017, Paris, France, January 16-17, 2017 : proceedings - Lierler, Yuliya (Springer, 2017)