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

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

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

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

This volume contains the proceedings of TFM2009, the Second International FME Conference on Teach...

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

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

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

Bidirectional transformations (BX) are means of maintaining consistency between multiple informat...

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