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 72185297

Information Desk: 72185000

Research Group Coordinator

Programming Logic and Semantics

View graph of relations

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

  3. 2007
  4. Published

    Relational parametricity for Computational Effects

    Møgelberg, R. E. & Simpson, A., 2007.

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

  5. Published

    Relational parametricity for control considered as a computational effect

    Møgelberg, R. E. & Simpson, A., 2007, In: Electronical Notes in Theoretical Computer Science. 173

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

  6. 2008
  7. Published

    Category-theoretic models of linear Abadi & Plotkin Logic.

    Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, In: Theory and Applications of Categories. 20, 7, p. 116-151 35 p.

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

  8. Published

    A logic for parametric polymorphism with effects

    Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156

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

  9. Published

    Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic

    Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 Sep 2008, In: Annals of Pure and Applied Logic. 155, 2, p. 115-133 19 p.

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

  10. 2009
  11. 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

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

  13. 2010
  14. Published

    Linearly-used Continuations in the Enriched Effect Calculus

    Egger, J., Møgelberg, R. E. & Simpson, A., 20 Mar 2010, In: Lecture Notes in Computer Science. 6014, p. 18-32

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

  15. Published

    A nominal relational model for local store

    Møgelberg, R. E., 2010, In: Electronic Notes in Theoretical Computer Science. 265, p. 403-421 19 p.

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

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

  17. 2011
  18. 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

  19. Published

    Linearly-used state in models of call-by-value

    Møgelberg, R. E. & Staton, S., 2011, CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science. Springer, p. 298-313 15 p.

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

  20. 2012
  21. 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

  22. Published

    Linear-use CPS translations in the enriched effect calculus

    Møgelberg, R. E., Simpson, A. & Egger, J., 2012, In: Logical Methods in Computer Science. 8, 4

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

  23. 2013
  24. 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

  25. 2014
  26. Published

    A type theory for productive coprogramming via guarded recursion

    Møgelberg, R. E., 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): CSL-LICS '14. Association for Computing Machinery, 10 p. 71. (Annual Symposium on Logic in Computer Science).

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

  27. Published

    Linear usage of state

    Møgelberg, R. E. & Staton, S., 25 Mar 2014, In: Logical Methods in Computer Science. 10, 1

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

  28. Published

    The Enriched Effect Calculus: Syntax and Semantics

    Møgelberg, R. E., Simpson, A. & Egger, J., 2014, In: Journal of Logic and Computation. 24, 3, p. 615-654

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

  29. 2015
  30. Published

    A model of guarded recursion with clock synchronisation

    Bizjak, A. & Møgelberg, R. E., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 83-101

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

  31. Published

    A Model of PCF in Guarded Type Theory

    Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, In: Electronic Notes in Theoretical Computer Science. 319, p. 333-349

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

  32. 2016
  33. 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

  34. Published

    Denotational semantics of recursive types in synthetic guarded domain theory

    Møgelberg, R. E. & Paviotti, M., 2016, LICS '16 Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 317-326 10 p.

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

  35. 2017
  36. 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

  37. 2018
  38. 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

Previous 1 2 Next

ID: 263471