Program construction is about turning specifications of computer software into implementations. R...

This tutorial book presents six carefully revised lectures given at the Spring School on Datatype...

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...

Generic programming attempts to make programming more efficient by making it more general. This b...

A leitmotif in the evolution of programming paradigms has been the level and extent of parametris...

Generic programming attempts to make programming more efficient by making it more general. This b...

This volume contains the proceedings of MPC 2000, the ?fth international c- ference on Mathematic...

Program construction is about turning specifications of computer software into implementations. R...

An entertaining and captivating way to learn the fundamentals of using algorithms to solve proble...