Abstract
A generic compact printer and a corresponding parser are
constructed. These programs transform values of any regular datatype
to and from a bit stream. The algorithms are constructed along with a
proof that printing followed by parsing is the identity. Since the binary
representation is very compact the printer can be used for compressing
data
... read more