@inproceedings{MensingAPV19,
  title = {From definitional interpreter to symbolic executor},
  author = {Adrian D. Mensing and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
  year = {2019},
  doi = {10.1145/3358502.3361269},
  url = {https://doi.org/10.1145/3358502.3361269},
  researchr = {https://researchr.org/publication/MensingAPV19},
  cites = {0},
  citedby = {0},
  pages = {11-20},
  booktitle = {Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, META@SPLASH 2019, Athens, Greece, October 20, 2019},
  editor = {Christophe Scholliers and Guido Chari},
  publisher = {ACM},
  isbn = {978-1-4503-6985-5},
}

@article{RestPRVM22,
  title = {Intrinsically-typed definitional interpreters à la carte},
  author = {Cas van der Rest and Casper Bach Poulsen and Arjen Rouvoet and Eelco Visser and Peter D. Mosses},
  year = {2022},
  doi = {10.1145/3563355},
  url = {https://doi.org/10.1145/3563355},
  researchr = {https://researchr.org/publication/RestPRVM22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {OOPSLA2},
  pages = {1903-1932},
}

@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},
}

@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{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 = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {OOPSLA},
}

@inproceedings{PoulsenM13,
  title = {Generating Specialized Interpreters for Modular Structural Operational Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2013},
  doi = {10.1007/978-3-319-14125-1_13},
  url = {http://dx.doi.org/10.1007/978-3-319-14125-1_13},
  researchr = {https://researchr.org/publication/PoulsenM13},
  cites = {0},
  citedby = {0},
  pages = {220-236},
  booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers},
  editor = {Gopal Gupta and Ricardo Peña},
  volume = {8901},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-14125-1},
}

@article{KeidelPE18,
  title = {Compositional soundness proofs of abstract interpreters},
  author = {Sven Keidel and Casper Bach Poulsen and Sebastian Erdweg},
  year = {2018},
  doi = {10.1145/3236767},
  url = {https://doi.org/10.1145/3236767},
  researchr = {https://researchr.org/publication/KeidelPE18},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {ICFP},
}

@article{PoulsenNTV16Artifact,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/DARTS.2.1.10},
  url = {http://dx.doi.org/10.4230/DARTS.2.1.10},
  researchr = {https://researchr.org/publication/PoulsenNTV16Artifact},
  cites = {0},
  citedby = {0},
  journal = {DARTS},
  volume = {2},
  number = {1},
}

@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 = {Proceedings of the ACM on Programming Languages},
  volume = {2},
  number = {POPL},
}

@inproceedings{BPM13,
  title = {Generating Specialized Interpreters for Modular Structural Operational Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2013},
  researchr = {https://researchr.org/publication/BPM13},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 23rd international symposium on Logic Based Program Synthesis and Transformation},
  series = {LOPSTR},
}

@inproceedings{PoulsenNTV16,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Néron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  doi = {10.4230/LIPIcs.ECOOP.2016.20},
  researchr = {https://researchr.org/publication/PoulsenNTV16},
  cites = {0},
  citedby = {0},
  booktitle = {30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy},
  editor = {Shriram Krishnamurthi and Benjamin S. Lerner},
  volume = {56},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-95977-014-9},
}

@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},
}

@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 = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, New Orleans, LA, USA, January 20-21, 2020},
  editor = {Jasmin Blanchette and Catalin Hritcu},
  publisher = {ACM},
  isbn = {978-1-4503-7097-4},
}

@techreport{TUD-SERG-2016-010,
  title = {Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics},
  author = {Casper Bach Poulsen and Pierre Neron and Andrew P. Tolmach and Eelco Visser},
  year = {2016},
  researchr = {https://researchr.org/publication/TUD-SERG-2016-010},
  cites = {0},
  citedby = {0},
  institution = {Delft University of Technology, Programming Languages Research Group},
  number = {TUD-SERG-2016-010},
  address = {Delft, The Netherlands},
}

@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 = {Proceedings of the ACM on Programming Languages},
  volume = {4},
  number = {OOPSLA},
}

@article{PelsmaekerAPV22,
  title = {Language-parametric static semantic code completion},
  author = {Daniël A. A. Pelsmaeker and Hendrik van Antwerpen and Casper Bach Poulsen and Eelco Visser},
  year = {2022},
  doi = {10.1145/3527329},
  url = {https://doi.org/10.1145/3527329},
  researchr = {https://researchr.org/publication/PelsmaekerAPV22},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {6},
  number = {OOPSLA},
  pages = {1-30},
}

@article{PoulsenM17,
  title = {Flag-based big-step semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2017},
  doi = {10.1016/j.jlamp.2016.05.001},
  url = {http://dx.doi.org/10.1016/j.jlamp.2016.05.001},
  researchr = {https://researchr.org/publication/PoulsenM17},
  cites = {0},
  citedby = {0},
  journal = {Journal of Logic and Algebraic Programming},
  volume = {88},
  pages = {174-190},
}

@inproceedings{PoulsenMT15,
  title = {Imperative Polymorphism by Store-Based Types as Abstract Interpretations},
  author = {Casper Bach Poulsen and Peter D. Mosses and Paolo Torrini},
  year = {2015},
  doi = {10.1145/2678015.2682545},
  url = {http://doi.acm.org/10.1145/2678015.2682545},
  researchr = {https://researchr.org/publication/PoulsenMT15},
  cites = {0},
  citedby = {0},
  pages = {3-8},
  booktitle = {Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM, Mumbai, India, January 15-17, 2015},
  editor = {Kenichi Asai and Kostis Sagonas},
  publisher = {ACM},
  isbn = {978-1-4503-3297-2},
}

@inproceedings{PoulsenM14,
  title = {Deriving Pretty-Big-Step Semantics from Small-Step Semantics},
  author = {Casper Bach Poulsen and Peter D. Mosses},
  year = {2014},
  doi = {10.1007/978-3-642-54833-8_15},
  url = {http://dx.doi.org/10.1007/978-3-642-54833-8_15},
  researchr = {https://researchr.org/publication/PoulsenM14},
  cites = {0},
  citedby = {0},
  pages = {270-289},
  booktitle = {Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings},
  editor = {Zhong Shao},
  volume = {8410},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-54832-1},
}
@proceedings{pepm-2020,
  title = {Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020},
  year = {2020},
  doi = {10.1145/3372884},
  url = {https://doi.org/10.1145/3372884},
  researchr = {https://researchr.org/publication/pepm-2020},
  cites = {0},
  citedby = {0},
  booktitle = {Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020},
  conference = {PEPM},
  editor = {Casper Bach Poulsen and Zhenjiang Hu},
  publisher = {ACM},
  isbn = {978-1-4503-7096-7},
}