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

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

This book constitutes revised selected papers from the 26th International Symposium on Trends in ...

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