Skip to main navigation Skip to search Skip to main content
Patrick Bahr

Patrick Bahr

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

Research activity per year

Personal profile

Research

Personal website

 

Keywords

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

Fingerprint

Dive into the research topics where Patrick Bahr 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

  • 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, p. 39-56 18 p. (Lecture Notes in Computer Science, Vol. 16401).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Functional Reactive GUI Programming with Modal Types.

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Calculated Typer (Functional Pearl)

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

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • 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, Vol. 14512. p. 18-36 (Lecture Notes in Computer Science).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

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

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

    Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review

    Open Access
    File
View all 49 research outputs