P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report). - Jens Kanstrup Larsen; Roberto Guanciale; Philipp Haller; Alceste Scalas (CoRR, 2023)

P4R-Type: A Verified API for P4 Control Plane Programs. - Jens Kanstrup Larsen; Roberto Guanciale; Philipp Haller; Alceste Scalas (Proc. ACM Program. Lang., 2023)