ITU
ITU
Patrick Bahr

Patrick Bahr

Associate Professor

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

Building: 4C14

Phone: +45 7218 5280

Information Desk: 72185000

View graph of relations

  1. 2018
  2. 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

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

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

  5. 2017
  6. 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

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

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

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

  10. 2016
  11. Published

    Cutting Out Continuations

    Bahr, P. & Hutton, G., 25 Mar 2016, A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday. Springer Publishing Company, Vol. 9600. p. 187-200 (Lecture Notes in Computer Science, Vol. 9600).

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  12. 2015
  13. Calculating correct compilers

    Bahr, P. & Hutton, G., 1 Sep 2015, In : Journal of Functional Programming. 25

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

  14. Published

    Certified Symbolic Management of Financial Multi-party Contracts

    Bahr, P., Berthold, J. & Elsman, M., 1 Sep 2015, ICFP 2015 Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming. New York, NY, USA: Association for Computing Machinery, p. 315-327 13 p.

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

Previous 1 2 3 4 Next

ID: 80318082