Implementation and Application of Functional Languages

This book constitutes the thoroughly refereed post-proceedings of the 17th International Workshop...

Unifying Theories of Programming