Research output per year
Research output per year
Personal profile
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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 -
Calculating Correct Compilers II: Return of the Register Machines
Bahr, P. & Hutton, G., 20 Aug 2020, In: Journal of Functional Programming. 30, e25.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open AccessFile -
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 ed. Association for Computing Machinery, Vol. 3. 109Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
Open AccessFile