This book constitutes the proceedings of the 15th International Symposium on Functional and Logic...

This book constitutes selected papers presented at the 5th International Workshop on Software Fou...