This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherland...

This book constitutes the refereed proceedings of the 6th International Conference on Integrated ...

This book constitutes the refereed proceedings of the 11th International Conference on Mathematic...

This book constitutes the thoroughly refereed post-conference proceedings of the Third Internatio...

Generic programming is about making programs more widely applicable via exotic kinds of parametri...

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

This volume represents the lecture notes from the Summer School on Bidirectional Transformations,...

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

Generic programming is about making programs more adaptable by making them more general. Generic ...

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

This book constitutes the proceedings of the 17th International Symposium on Functional and Logic...

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