Publikationer pr. år
Publikationer pr. år
- 36 resultater
Søgeresultater
-
2022
Greatest HITs: Higher Inductive Types in Coinductive Definitions via Induction under Clocks
Kristensen, M. B., Møgelberg, R. E. & Vezzosi, A., 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, 13 s. 42Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2021
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 udg. Association for Computing Machinery, Bind 5. 28 s. (Proceedings of the ACM on Programming Languages).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Two Guarded Recursive Powerdomains for Applicative Simulation
Møgelberg, R. E. & Vezzosi, A., dec. 2021, Proceedings 37th Conference on Mathematical Foundations of Programming Semantics. Electronic Proceedings in Theoretical Computer Science, Bind 351. s. 200-217Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang -
2020
Denotational semantics for guarded dependent type theory
Bizjak, A. & Møgelberg, R. E., apr. 2020, I: Mathematical Structures in Computer Science. 30, 4, s. 342-378Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
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, s. 105-131 (Lecture Notes in Computer Science, Bind 12065).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgangFil -
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Mannaa, B., Møgelberg, R. E. & Veltri, N., 15 dec. 2020, I: Logical Methods in Computer Science. 16, 4, s. 17:1–17:31 31 s., 6278.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2019
Bisimulation as path type for guarded recursive types
Veltri, N. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. Association for Computing Machinery, Bind 3. 29 s. 4Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Modal dependent type theory and dependent right adjoints
Birkedal, L., Clouston, R., Mannaa, B., Møgelberg, R. E., M. Pitts, A. & Spitters, B., dec. 2019, I: Mathematical Structures in Computer Science. 21 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
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 udg. Association for Computing Machinery, Bind 3. 109Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2018
Denotational semantics of recursive types in synthetic guarded domain theory
Møgelberg, R. E. & Paviotti, M., 15 maj 2018, I: Mathematical Structures in Computer Science. 46 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil -
The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory
Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Bind 108. 17 s. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 108).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
What makes guarded types tick?
Bahr, P., Mannaa, B. & Møgelberg, R. E., 2018.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review
Åben adgangFil -
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 adgangFil -
2016
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, s. 317-326 10 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
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, s. 20-35 16 s. (Lecture Notes in Computer Science, Bind 9634).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
2015
A model of guarded recursion with clock synchronisation
Bizjak, A. & Møgelberg, R. E., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 83-101Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
A Model of PCF in Guarded Type Theory
Paviotti, M., Møgelberg, R. E. & Birkedal, L., 2015, I: Electronic Notes in Theoretical Computer Science. 319, s. 333-349Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
2014
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 s. 71. (Annual Symposium on Logic in Computer Science).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Linear usage of state
Møgelberg, R. E. & Staton, S., 25 mar. 2014, I: Logical Methods in Computer Science. 10, 1Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
The Enriched Effect Calculus: Syntax and Semantics
Møgelberg, R. E., Simpson, A. & Egger, J., 2014, I: Journal of Logic and Computation. 24, 3, s. 615-654Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2013
Intensional type theory with guarded recursive types qua fixed points on universes
Møgelberg, R. E. & Birkedal, L., 2013, I: Annual Symposium on Logic in Computer Science. s. 213-222 10 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2012
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 okt. 2012, I: Logical Methods in Computer Science. 8, 4Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Linear-use CPS translations in the enriched effect calculus
Møgelberg, R. E., Simpson, A. & Egger, J., 2012, I: Logical Methods in Computer Science. 8, 4Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
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-64Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
-
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, s. 298-313 15 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
2010
A nominal relational model for local store
Møgelberg, R. E., 2010, I: Electronic Notes in Theoretical Computer Science. 265, s. 403-421 19 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Domain theoretic models of parametric polymorphism
Møgelberg, R. E., Birkedal, L. & Petersen, R. L., 2010, I: Theoretical Computer Science. 388, 1-3, s. 152-172Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
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-32Publikation: 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
-
From parametric polymorphism to models of polymorphic FPC
Møgelberg, R. E., 2009, I: Mathematical Structures in Computer Science. 19, 4, s. 639-686Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2008
A logic for parametric polymorphism with effects
Møgelberg, R. E. & Simpson, A., 2008, I: Lecture Notes in Computer Science. 4941, s. 142-156Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review
-
Category-theoretic models of linear Abadi & Plotkin Logic.
Birkedal, L., Møgelberg, R. E. & Lerchedahl Petersen, R., 2008, I: Theory and Applications of Categories. 20, 7, s. 116-151 35 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic
Møgelberg, R. E., Birkedal, L. & Rosolini, G., 2 sep. 2008, I: Annals of Pure and Applied Logic. 155, 2, s. 115-133 19 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
2007
Relational parametricity for Computational Effects
Møgelberg, R. E. & Simpson, A., 2007.Publikation: Konferencebidrag - EJ publiceret i proceeding eller tidsskrift › Paper › Forskning › peer review
-
Relational parametricity for control considered as a computational effect
Møgelberg, R. E. & Simpson, A., 2007, I: Electronical Notes in Theoretical Computer Science. 173Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › 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. 4052Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review