ITU
Rasmus Ejlers Møgelberg

Rasmus Ejlers Møgelberg

Associate Professor

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

Building: 4C12

Phone: +45 7218 5297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

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

  2. Published

    Domain theoretic models of parametric polymorphism

    Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, In: Theoretical Computer Science. 388, 1-3, p. 152-172

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

  3. Published

    Enriching an effect calculus with linear types

    Egger, J., Møgelberg, R. E. & Simpson, A., 2009, In: Lecture Notes in Computer Science. 5771, p. 240 254 p.

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

  4. Published

    First steps in synthetic guarded domain theory: step-indexing in the topos of trees

    Birkedal, L., Møgelberg, R. E., Støvring, K. & schwinghammer, J., 2011, In: Annual Symposium on Logic in Computer Science. p. 55-64

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

  5. Published

    First steps in synthetic guarded domain theory: step-indexing in the topos of trees

    Birkedal, L., Møgelberg, R. E., Schwinghammer, J. & Støvring, K., 3 Oct 2012, In: Logical Methods in Computer Science. 8, 4

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

  6. Published

    From parametric polymorphism to models of polymorphic FPC

    Møgelberg, R. E., 2009, In: Mathematical Structures in Computer Science. 19, 4, p. 639-686

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

  7. Published

    Galois Connections for Recursive Types

    Al-Sibahi, A. S., Jensen, T. P., Møgelberg, R. E. & Wasowski, A., 2020, From Lambda Calculus to Cybersecurity Through Program Analysis. Springer, p. 105-131 (Lecture Notes in Computer Science, Vol. 12065).

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

  8. Published

    Guarded Dependent Type Theory with Coinductive Types

    Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L., 2016, Foundations of Software Science and Computation Structure: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings. Springer, p. 20-35 16 p. (Lecture Notes in Computer Science, Vol. 9634).

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

  9. Published

    Intensional type theory with guarded recursive types qua fixed points on universes

    Møgelberg, R. E. & Birkedal, L., 2013, In: Annual Symposium on Logic in Computer Science. p. 213-222 10 p.

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

  10. Published

    Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052

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

ID: 263471