E-LIB Suche - Ergebnisse für: Frumin, Dan

1

Modular Denotational Semantics for Effects with Guarded Int..:

Frumin, Dan ; Timany, Amin ; Birkedal, Lars
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 332-361 , 2024

Link: https://doi.org/10.1145/..

2

Mechanized verification of a fine-grained concurrent queue ..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Vindum, Simon Friis ; Frumin, Dan ; Birkedal, Lars - p. 100-115 , 2022

Link: https://dl.acm.org/doi/1..

3

Semantic cut elimination for the logic of bunched implicati..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Frumin, Dan - p. 291-306 , 2022

Link: https://dl.acm.org/doi/1..

4

A bunch of sessions: a propositions-as-sessions interpretat..:

Frumin, Dan ; D'Osualdo, Emanuele ; van den Heuvel, Bas.
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 841-869 , 2022

Link: https://doi.org/10.1145/..

5

Compositional Non-Interference for Fine-Grained Concurrent ..:

, In: 2021 IEEE Symposium on Security and Privacy (SP),

Frumin, Dan ; Krebbers, Robbert ; Birkedal, Lars - p. 1416-1433 , 2021

Link: https://doi.org/10.1109/..

6

Bicategories in univalent foundations:

Ahrens, Benedikt ; Frumin, Dan ; Maggesi, Marco..
Mathematical Structures in Computer Science. 31 (2021) 10 - p. 1232-1269 , 2021

Link: https://doi.org/10.1017/..

7

ReLoC Reloaded: A Mechanized Relational Logic for Fine-Grai..:

Frumin, Dan ; Krebbers, Robbert ; Birkedal, Lars
Logical Methods in Computer Science. 17, Issue 3 (2021) - p. , 2021

Link: https://doi.org/10.46298..

8

Semi-automated Reasoning About Non-determinism in C Express..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Frumin, Dan ; Gondelman, Léon ; Krebbers, Robbert - p. 60-87 , 2019

Link: https://doi.org/10.1007/..

9

ReLoC : A Mechanised Relational Logic for Fine-Grained C..:

, In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science,

Frumin, Dan ; Krebbers, Robbert ; Birkedal, Lars - p. 442-451 , 2018

Link: https://dl.acm.org/doi/1..

10

A homotopy-theoretic model of function extensionality in th..:

FRUMIN, DAN ; VAN DEN BERG, BENNO
Mathematical Structures in Computer Science. 29 (2018) 4 - p. 588-614 , 2018

Link: https://doi.org/10.1017/..

11

Finite sets in homotopy type theory:

, In: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs,

Frumin, Dan ; Geuvers, Herman ; Gondelman, Léon. - p. 201-214 , 2018

Link: https://dl.acm.org/doi/1..

12

A Minimal Formulation of Session Types:

Arslanagić, Alen ; Pérez, Jorge A ; Frumin, Dan
http://arxiv.org/abs/2301.05301. , 2023

Link: http://arxiv.org/abs/230..

13

Modular Denotational Semantics for Effects with Guarded Int..:

Frumin, Dan ; Timany, Amin ; Birkedal, Lars
http://arxiv.org/abs/2307.08514. , 2023

Link: http://arxiv.org/abs/230..

14

Semantic cut elimination for the logic of bunched implicati..:

Frumin, Dan
https://research.rug.nl/en/publications/2000b079-05c2-42bf-811f-f2bfe500c60c. , 2022

Link: https://hdl.handle.net/1..

15

Bicategories in univalent foundations:

Ahrens, Benedikt ; Frumin, Dan ; Maggesi, Marco..
https://research.rug.nl/en/publications/c5b8d398-f11e-4f49-a853-bb03e7b40d40. , 2022

Link: https://hdl.handle.net/1..