Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings - Gavanelli, Marco; Reppy, John (Springer International Publishing : Imprint: Springer, 2016)