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

> Research article (Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development, 2017) · cited 11× · AI/ML

**Wikidata**: [openalex:W2753579351](https://www.wikidata.org/wiki/openalex:W2753579351)  
**Source**: https://4ort.xyz/entity/generic-packet-descriptions-verified-parsing-and-pretty-printing-of-low-level-data