E-LIB Suche - Ergebnisse für: Dardha, Ornela

1

Structural Subtyping as Parametric Polymorphism:

Tang, Wenhao ; Hillerström, Daniel ; McKinna, James...
Proceedings of the ACM on Programming Languages. 7 (2023) OOPSLA2 - p. 1093-1121 , 2023

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

2

MAG$$\pi $$: Types for Failure-Prone Communication:

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

Le Brun, Matthew Alan ; Dardha, Ornela - p. 363-391 , 2023

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

3

Mungo and StMungo: Tools for Typechecking Protocols in Java:

, In: Behavioural Types,

Dardha, Ornela ; Gay, Simon J. ; Kouzapas, Dimitrios... - p. 309-328 , 2022

Link: https://doi.org/10.1201/..

4

Comparing type systems for deadlock freedom:

Dardha, Ornela ; Pérez, Jorge A.
Journal of Logical and Algebraic Methods in Programming. 124 (2022) - p. 100717 , 2022

Link: https://doi.org/10.1016/..

5

Session Types Revisited: A Decade Later:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,

Dardha, Ornela ; Giachino, Elena ; Sangiorgi, Davide - p. 1-4 , 2022

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

6

Coordination Models and Languages: 23rd IFIP WG 6.1 Interna..

Programming and Software Engineering, 12717

Damiani, Ferruccio ; Dardha, Ornela - 1st ed. 2021 . , 2021

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

7

Prioritise the Best Variation:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Kokke, Wen ; Dardha, Ornela - p. 100-119 , 2021

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

8

$$\pi $$ with Leftovers: A Mechanisation in Agda:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Zalakain, Uma ; Dardha, Ornela - p. 157-174 , 2021

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

9

Deadlock-free session types in linear Haskell:

, In: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell,

Kokke, Wen ; Dardha, Ornela - p. 1-13 , 2021

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

10

Papaya: Global Typestate Analysis of Aliased Objects:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,

Jakobsen, Mathias ; Ravier, Alice ; Dardha, Ornela - p. 1-13 , 2021

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

11

SFJ: An Implementation of Semantic Featherweight Java:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Usov, Artem ; Dardha, Ornela - p. 153-168 , 2020

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

12

Typechecking Java Protocols with [St]Mungo:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Voinea, A. Laura ; Dardha, Ornela ; Gay, Simon J. - p. 208-224 , 2020

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

13

Resource Sharing via Capability-Based Multiparty Session Ty..:

, In: Lecture Notes in Computer Science; Integrated Formal Methods,

Voinea, A. Laura ; Dardha, Ornela ; Gay, Simon J. - p. 437-455 , 2019

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

14

Typechecking protocols with Mungo and StMungo: A session ty..:

Kouzapas, Dimitrios ; Dardha, Ornela ; Perera, Roly.
Science of Computer Programming. 155 (2018) - p. 52-75 , 2018

Link: https://doi.org/10.1016/..

15

A New Linear Logic for Deadlock-Free Session-Typed Processe:

, In: Lecture Notes in Computer Science; Foundations of Software Science and Computation Structures,

Dardha, Ornela ; Gay, Simon J. - p. 91-109 , 2018

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