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

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

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...