Generic packet descriptions: verified parsing and pretty printing of low-level data.

Marcell van Geest, Wouter Swierstra

Browse the full ICFP paper archive.