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 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 AccessFile -
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 AccessFile -
Calculating Compilers Effectively (Functional Pearl)
Garby, Z., Hutton, G. & Bahr, P., 29 Aug 2024, Proceedings of the 17th ACM SIGPLAN International Haskell Symposium. Association for Computing Machinery, p. 109 - 119 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile -
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
Datasets
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 31 May 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Dataset: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Creator) & Hutton, G. (Creator), ZENODO, 27 May 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Dataset: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Creator), Hutton, G. (Creator) & Patrick, B. (Creator), ZENODO, 18 Jul 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Dataset: Software
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