Practical Aspects of Declarative Languages

This book constitutes the refereed proceedings of the 23rd International Symposium on Practical A...

Languages, Compilers, Analysis - From Beautiful Theory to Useful Practice