@article{PoulsenRTKV18,
  title = {Intrinsically-typed definitional interpreters for imperative languages},
  author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
  year = {2018},
  doi = {10.1145/3158104},
  url = {http://doi.acm.org/10.1145/3158104},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/PoulsenRTKV18},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {2},
  number = {POPL},
}

@article{AntwerpenPRV18,
  title = {Scopes as types},
  author = {Hendrik van Antwerpen and Casper Bach Poulsen and Arjen Rouvoet and Eelco Visser},
  year = {2018},
  doi = {10.1145/3276484},
  url = {https://doi.org/10.1145/3276484},
  researchr = {https://researchr.org/publication/AntwerpenPRV18},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {2},
  number = {OOPSLA},
}

@article{RouvoetKV21,
  title = {Intrinsically typed compilation with nameless labels},
  author = {Arjen Rouvoet and Robbert Krebbers and Eelco Visser},
  year = {2021},
  doi = {10.1145/3434303},
  url = {https://doi.org/10.1145/3434303},
  tags = {Intrinsic-Verification},
  researchr = {https://researchr.org/publication/RouvoetKV21},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {5},
  number = {POPL},
  pages = {1-28},
}

@inproceedings{RouvoetPKV20,
  title = {Intrinsically-typed definitional interpreters for linear, session-typed languages},
  author = {Arjen Rouvoet and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  doi = {10.1145/3372885.3373818},
  url = {https://doi.org/10.1145/3372885.3373818},
  researchr = {https://researchr.org/publication/RouvoetPKV20},
  cites = {0},
  citedby = {0},
  pages = {284-298},
  booktitle = {CPP},
}

@phdthesis{Rouvoet21,
  title = {Correct by Construction Language Implementations},
  author = {Arjen Rouvoet},
  year = {2021},
  researchr = {https://researchr.org/publication/Rouvoet21},
  cites = {0},
  citedby = {0},
  school = {Delft University of Technology},
}

@techreport{preprint-PoulsenRTKV18,
  title = {Intrinsically-typed definitional interpreters for imperative languages},
  author = {Casper Bach Poulsen and Arjen Rouvoet and Andrew P. Tolmach and Robbert Krebbers and Eelco Visser},
  year = {2018},
  researchr = {https://researchr.org/publication/preprint-PoulsenRTKV18},
  cites = {0},
  citedby = {0},
  type = {Preprint},
}

@software{RouvoetAPKV20-artifact,
  title = {Knowing When to Ask: Artifact},
  author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  month = {oct},
  doi = {10.5281/zenodo.4068065},
  url = {https://doi.org/10.5281/zenodo.4068065},
  researchr = {https://researchr.org/publication/RouvoetAPKV20-artifact},
  cites = {0},
  citedby = {0},
  version = {1.0},
}

@inbook{RouvoetAPKV20-ext,
  title = {Knowing When to Ask: Sound scheduling of name resolution in type checkers derived from declarative specifications (Extended Version)},
  author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  month = {Oct},
  doi = {10.5281/zenodo.4091445},
  url = {http://doi.org/10.5281/zenodo.4091445},
  researchr = {https://researchr.org/publication/RouvoetAPKV20-ext},
  cites = {0},
  citedby = {0},
  publisher = {Zenodo},
}

@article{RouvoetAPKV20,
  title = {Knowing when to ask: sound scheduling of name resolution in type checkers derived from declarative specifications},
  author = {Arjen Rouvoet and Hendrik van Antwerpen and Casper Bach Poulsen and Robbert Krebbers and Eelco Visser},
  year = {2020},
  doi = {10.1145/3428248},
  url = {https://doi.org/10.1145/3428248},
  researchr = {https://researchr.org/publication/RouvoetAPKV20},
  cites = {0},
  citedby = {0},
  journal = {PACMPL},
  volume = {4},
  number = {OOPSLA},
}