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