@misc{indiciae7c9a03d9486c,
  title = {Dependently-Typed Data Plane Programming},
  author = {Matthias Eichholz and Eric Hayden Campbell and Matthias Krebs and Nate Foster and Mira Mezini},
  year = {2022},
  doi = {10.1145/3498701},
  url = {https://arxiv.org/abs/2206.03457},
  note = {Source identifier: 2206.03457}
}