ITU
Patrick Bahr

Patrick Bahr

Associate Professor, Head of study programme

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4C14

Phone: +45 72185280

Information Desk: 72185000

View graph of relations

  1. 2021
  2. Published

    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 chapterArticle in proceedingsResearchpeer-review

  3. 2020
  4. Published

    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 JournalJournal articleResearchpeer-review

  5. 2019
  6. Published

    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. 109

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  7. 2018
  8. Published

    Convergence in infinitary term graph rewriting systems is simple

    Bahr, P., 9 Aug 2018, In: Mathematical Structures in Computer Science. p. 1-52

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  9. Published

    Strict Ideal Completions of the Lambda Calculus

    Bahr, P., Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 8:1-8:16 16 p. 8

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  10. Published

    What makes guarded types tick?

    Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  11. 2017
  12. Published

    Compiling a 50-year journey

    Hutton, G. & Bahr, P., 20 Sep 2017, In: Journal of Functional Programming. 27, 11 p., 20.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  13. Published

    Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 84. p. 8:1-8:20

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  14. Published

    The Clocks Are Ticking: No More Delays! Reduction Semantics for Type Theory with Guarded Recursion

    Bahr, P., Grathwohl, H. B. & Møgelberg, R. E., 18 Aug 2017, In: Annual Symposium on Logic in Computer Science. 12 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  15. Published

    Generalising tree traversals and tree transformations to DAGs: Exploiting sharing without the pain

    Bahr, P. & Axelsson, E., 4 Apr 2017, In: Science of Computer Programming. 137, p. 63-97

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

Previous 1 2 3 4 Next

ID: 80318082