Practical Aspects of Declarative Languages 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8?9, 2018, Proceedings - Calimeri, Francesco. (Springer International Publishing,)