No photo of C.B. Poulsen

View Scopus Profile

C.B. Poulsen

Dr.

 https://orcid.org/0000-0003-0622-7639

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.
  • 1 Similar Profiles
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further

  • Language-Parametric Reference Synthesis

    Pelsmaeker, D. A. A., Zwaan, A., Bach, C. & Mooij, A. J., 2025, In: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, p. 1213-1238 26 p., 123.

    Research output: Contribution to journal › Article › Scientific › peer-review

    Open Access
    File
    3 Downloads (Pure)

  • Concrete Syntax Metapatterns

    Miljak, L., Poulsen, C. B. & Corvino, R., 2024, SLE 2024 - Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2024. Laemmel, R., Pereira, J. A., Mosses, P. D. & Mosses, P. D. (eds.). ACM, p. 43-55 13 p. (SLE 2024 - Proceedings of the 17th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2024).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    37 Downloads (Pure)

  • Defining Name Accessibility Using Scope Graphs

    Zwaan, A. & Poulsen, C. B., 2024, 38th European Conference on Object-Oriented Programming (ECOOP 2024). Aldrich, J. & Salvaneschi, G. (eds.). Wadern: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29 p. 47. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 313).

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    14 Downloads (Pure)

  • Modal μ-Calculus for Free in Agda

    Todorov, I. & Poulsen, C. B., 2024, TyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development. Alves, S. & Cockx, J. (eds.). New York, NY: ACM, p. 16-28 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    67 Downloads (Pure)

  • A Monadic Framework for Name Resolution in Multi-phased Type Checkers

    Poulsen, C. B., Zwaan, A. & Hübner, P., 2023, GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. New York, NY, USA: ACM, p. 14-28 15 p.

    Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

    Open Access
    File
    80 Downloads (Pure)
View all 19 research outputs