Datatype-Generic Programming

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

Datatype Generic Programming