Typeclasses: A Tutorial on Typeclasses in CoqIn real-world programming, it is often necessary to convert various kinds of data structures into strings so that they can be printed out, written to files, marshalled for sending over the network, or whatever. This can be accomplished by writing string converters for each basic type
Software Foundations
