Spring til hovednavigation Spring til søgning Spring til hovedindhold
Billede af Patrick Bahr

Patrick Bahr

 https://orcid.org/0000-0003-1600-8261
20092026

Publikationer pr. år

Personlig profil

Forskning

Personal website

 

Emneord

  • Programming languages
  • Compilers
  • Type theory
  • Formal verification
  • Functional programming

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Patrick Bahr er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere

  • Property-Based Testing for Asynchronous Functional Reactive Programming Using Linear Temporal Logic

    Nielsen, C. E., Kristiansen, M. F. & Bahr, P., 12 jan. 2026, Practical Aspects of Declarative Languages . Springer, s. 39-56 18 s. (Lecture Notes in Computer Science, Bind 16401).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Functional Reactive GUI Programming with Modal Types.

    Disch, J.-C., Heegaard, A. & Bahr, P., 1 okt. 2025, Trends in Functional Programming : 26th International Symposium, TFP 2025, Oxford, UK, January 14–16, 2025, Revised Selected Papers. Springer, Bind 15652. s. 93-114 22 s. (LNCS, Bind 15652).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • The Calculated Typer (Functional Pearl)

    Garby, Z., Bahr, P. & Hutton, G., 9 okt. 2025, Proceedings of the 18th ACM SIGPLAN International Haskell Symposium. Association for Computing Machinery, s. 17 - 29 13 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Asynchronous Reactive Programming with Modal Types in Haskell

    Bahr, P., Houlborg, E. & Rørdam, G. T. S., 10 jan. 2024, Practical Aspects of Declarative Languages. Springer, Bind 14512. s. 18-36 (Lecture Notes in Computer Science).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl)

    Bahr, P. & Hutton, G., 15 aug. 2024, I: Proceedings of the ACM on Programming Languages. 8, ICFP249, s. 370 - 394 25 s., 249.

    Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review

    Åben adgang
    Fil
Se alle 49 publikationer
Se alle 7 kurser