Fingeraftryk

Dyk ned i forskningsemnerne, hvor Casper Bach er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
  • A Type Theoretic Treatment of Context-Free Languages Without Mutual Recursion

    Reinders, J. & Bach, C., 2026, Trends in Functional Programming : 26th International Symposium, TFP 2025, Revised Selected Papers. Gibbons, J. (red.). Springer Science+Business Media, s. 283-301 (Lecture Notes in Computer Science, Bind 15652 LNCS).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Generic Reduction-Based Interpreters

    Bach, C., 12. okt. 2025, OLIVIERFEST 2025 - Proceedings of the Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday. Henglein, F., Lawall, J., Palsberg, J. & Ilya, S. (red.). Association for Computing Machinery, s. 166-179 14 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Language-Parametric Reference Synthesis.

    Pelsmaeker, D. A. A., Zwaan, A., Poulsen, C. B. & Mooij, A. J., 2025, I: Proceedings of the ACM on Programming Languages. 9, OOPSLA1, s. 1213-1238 26 s., 123.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

    Åben adgang
  • Concrete Syntax Metapatterns.

    Miljak, L., Poulsen, C. B. & Corvino, R., 2024, SLE. s. 43-55 13 s.

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

  • Defining Name Accessibility Using Scope Graphs.

    Zwaan, A. & Poulsen, C. B., 2024, Proceedings of 38th European Conference on Object-Oriented Programming (ECOOP 2024). Aldrich, J. & Salvaneschi, G. (red.). s. 47:1-47:29 42. (Leibniz International Proceedings in Informatics).

    Publikation: Kapitel i bog/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang