Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings - Calimeri, Francesco; Calimeri, Francesco; Hamlen, Kevin; Hamlen, Kevin; Leone, Nicola; Leone, Nicola (Springer International Publishing : Imprint: Springer, 2018)