Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings - Flatt, Matthew; Guo, Hai-Feng (Springer International Publishing : Imprint: Springer, 2014)