Dardha, Ornela
- Comparing Type Systems for Deadlock Freedom
2018/10/01 by Dardha, Ornela, Pérez, Jorge A. · 2 citations
#D.3.1 #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Deadlock-Free Session Types in Linear Haskell
2021/03/26 by Kokke, Wen, Dardha, Ornela · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version)
2021/05/14 by Harvey, Paul, Fowler, Simon, Dardha, Ornela +1 · 1 citation
#FOS: Computer and information sciences #Programming Languages (cs.PL)
- Papaya: Global Typestate Analysis of Aliased Objects Extended Version
2021/07/27 by Mathias Jakobsen, Jakobsen, Mathias, Alice Ravier +3 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)