Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program constr

Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms. This innovative

This book consitutes the refereed proceedings of the 4th International Conference on Mathematics of Program Construction, MPC'98, held in Marstrand, near Gotebo

Well-respected text for computer science students provides an accessible introduction to functional programming. Cogent examples illuminate the central ideas, a

This book constitutes the refereed proceedings of the 4th International Conference on Typed Lambda Calculi and Applications, TLCA'99, held in L'Aquila, Italy in