Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskningsområde
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
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
Publikation
-
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 adgangFil -
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 adgangFil -
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, s. 109 - 119 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Asynchronous Modal FRP
Bahr, P. & Møgelberg, R. E., 31 aug. 2023, I: Proceedings of the ACM on Programming Languages. 7, ICFP, s. 476-510 205.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
Åben adgang -
Calculating Compilers for Concurrency
Bahr, P. & Hutton, G., 31 aug. 2023, Proceedings of the ACM on Programming Languages. New York, NY, USA, Bind 7. s. 740–767 28 s. 213Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
Forskningsdatasæt
-
Supplementary Material for "Calculating Compilers for Concurrency"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 31 maj 2023
DOI: 10.5281/zenodo.8124116, https://zenodo.org/record/8124116
Datasæt: Software
-
Supplementary Material for "Monadic Compiler Calculation"
Bahr, P. (Ophavsmand) & Hutton, G. (Ophavsmand), ZENODO, 27 maj 2022
DOI: 10.5281/zenodo.6794696, https://zenodo.org/record/6794696
Datasæt: Software
-
Haskell and Agda code for the article "Calculating Compilers Effectively"
Zac, G. (Ophavsmand), Hutton, G. (Ophavsmand) & Patrick, B. (Ophavsmand), ZENODO, 18 jul. 2024
DOI: 10.5281/zenodo.12771956, https://zenodo.org/records/12771956
Datasæt: Software
Projekter
- 1 Afsluttet
-
Guarded recursive types in the foundations of programming
Møgelberg, R. E. (PI), Mannaa, B. (CoI) & Bahr, P. (CoI)
01/07/2015 → 31/01/2019
Projekter: Projekt › Forskning