If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where C.B. Poulsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 5 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 3 Conference contribution
  • 2 Article
  • 1 Other
  • 1 Working paper
Open Access
File
  • 14 Downloads (Pure)

    From definitional interpreter to symbolic executor

    Mensing, A. D., Van Antwerpen, H., Poulsen, C. B. & Visser, E., 20 Oct 2019, META 2019 - Proceedings of the 4th ACM SIGPLAN International Workshop on Meta-Programming Techniques and Reflection, co-located with SPLASH 2019. Scholliers, C. & Chari, G. (eds.). Association for Computing Machinery (ACM), p. 11-20 10 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • 19 Downloads (Pure)

    Compositional soundness proofs of abstract interpreters

    Keidel, S., Poulsen, C. & Erdweg, S., 1 Sep 2018, Proceedings of the ACM on Programming Languages. ICFP ed. Association for Computing Machinery (ACM), Vol. 2. 26 p. 72

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

    Open Access
    File
  • 7 Downloads (Pure)

    Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E., 10 Jan 2018, In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 63 Downloads (Pure)

    Scopes as Types

    van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E., 2018, In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, p. 1-30 30 p., 114.

    Research output: Contribution to journalArticleScientificpeer-review

    Open Access
    File
  • 114 Downloads (Pure)