Research output per year
Research output per year
Personal profile
Research areas
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
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
Research output
-
Asynchronous Modal FRP
Bahr, P. & Møgelberg, R. E., 31 Aug 2023, In: Proceedings of the ACM on Programming Languages. 7, ICFP, p. 476-510 205.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
Open Access -
Calculating Compilers for Concurrency
Bahr, P. & Hutton, G., 31 Aug 2023, Proceedings of the ACM on Programming Languages. New York, NY, USA, Vol. 7. p. 740–767 28 p. 213Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Modal FRP for all: Functional reactive programming without space leaks in Haskell
Bahr, P., 26 Dec 2022, In: Journal of Functional Programming. 32, e15.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
Monadic Compiler Calculation (Functional Pearl)
Bahr, P. & Hutton, G., Aug 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Vol. 6.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
Diamonds are not forever: Liveness in reactive programming with guarded recursion
Bahr, P., Graulund, C. U. & Møgelberg, R. E., Jan 2021, ACM SIGPLAN Symposium on Principles of Programming Languages. POPL ed. Association for Computing Machinery, Vol. 5. 28 p. (Proceedings of the ACM on Programming Languages).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile
Projects
- 1 Finished
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
Independent Research Fund Denmark
01/07/2015 → 31/01/2019
Project: Research