Intrinsically-Typed Compilation with Nameless Labels

Arjen Rouvoet, Robbert Krebbers, Eelco Visser. Intrinsically-Typed Compilation with Nameless Labels. Proceedings of the ACM on Programming Languages, 5(POPL), 2021.

@article{RouvoetKV21-preprint,
  title = {Intrinsically-Typed Compilation with Nameless Labels},
  author = {Arjen Rouvoet and Robbert Krebbers and Eelco Visser},
  year = {2021},
  researchr = {https://researchr.org/publication/RouvoetKV21-preprint},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {5},
  number = {POPL},
}