Thoroughly updated to reflect the most current developments in language design and implementation, the second edition *Addresses key developments in …
This book constitutes the thoroughly refereed post-proceedings of the Second International Symposium on Unifying Theories of Programming, UTP 2008, held …
This tutorial book presents nine carefully revised lectures given at the 5th International School on Functional Programming, AFP 2004, in …