Rasmus Ejlers Møgelberg

Publikation

Publikationer pr. år 2004 2005 2008 2009 2010 2014 2018 2019 2020 2023

• 19 Tidsskriftartikel
• 10 Konferencebidrag i proceedings
• 7 Konferenceartikel
• 5 Rapport
• 3 Mere
  • 2 Paper
  • 1 Bidrag til bog/antologi

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2023

  Asynchronous Modal FRP

  Bahr, P. & Møgelberg, R. E., 31 aug. 2023, I: Proceedings of the ACM on Programming Languages. 7, ICFP, s. 476-510 205.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang
• 2017

  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, I: Annual Symposium on Logic in Computer Science. 12 s.

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

  • Type Theory 100%
  • Guarded Recursion 100%
  • Reduction Semantics 100%
  • Type Systems 100%
  • Strong Normalization 100%
• 2011

  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, I: Annual Symposium on Logic in Computer Science. s. 55-64

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2010

  Linearly-used Continuations in the Enriched Effect Calculus

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2009

  Enriching an effect calculus with linear types

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review

  • Calculus 100%
  • Linear Types 100%
  • Syntactics 100%
  • Call by Value 100%
  • Type Theory 40%
• 2008

  A logic for parametric polymorphism with effects

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
• 2006

  Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

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

  Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review