Publikation
- 7 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
Formalizing 휋-calculus in guarded cubical Agda
Veltri, N. & Vezzosi, A., 2020, CPP 2020: Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs ACM. Association for Computing Machinery, s. 270-283 14 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › 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 -
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
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 fuer Informatik GmbH, 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