Publikationer pr. år
Publikationer pr. år
Personlig profil
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
Netværk
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Publikation
-
Modal FRP for all: Functional reactive programming without space leaks in Haskell
Bahr, P., 26 dec. 2022, I: Journal of Functional Programming. 32, e15.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Monadic Compiler Calculation (Functional Pearl)
Bahr, P. & Hutton, G., aug. 2022, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 6.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
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 udg. Association for Computing Machinery, Bind 5. 28 s. (Proceedings of the ACM on Programming Languages).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Calculating Correct Compilers II: Return of the Register Machines
Bahr, P. & Hutton, G., 20 aug. 2020, I: Journal of Functional Programming. 30, e25.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming
Bahr, P., Graulund, C. U. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. IFCP udg. Association for Computing Machinery, Bind 3. 109Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil