Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings - Hudak, Paul.; Warren, David S.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2008)
Keywords: Computer science; Software engineering; Logic design; Computer Science; Programming Languages, Compilers, Interpreters; Programming Techniques; Logics and Meanings of Programs; Software Engineering