Andi Bejleri

According to our database1, Andi Bejleri authored at least 12 papers between 2009 and 2018.

Collaborative distances :
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Cooperative decoupled processes.
Software Quality Journal, 2018

2017
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
CoRR, 2017

A Co-contextual Type Checker for Featherweight Java .
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016
A Type Theory for Robust Failure Handling in Distributed Systems.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2016

Cooperative decoupled processes: the e-calculus and linearity.
Proceedings of the 15th International Conference on Modularity, 2016

2012
Parameterised session types communication patterns : through the looking glass of session types.
PhD thesis, 2012

Parameterised Multiparty Session Types
Logical Methods in Computer Science, 2012

2011
Cloudscape: language support to coordinate and control distributed applications in the cloud.
Proceedings of the Conference on Systems, 2011

2010
Practical Parameterised Session Types.
Proceedings of the Formal Methods and Software Engineering, 2010

Parameterised Multiparty Session Types.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009
Synchronous Multiparty Session Types.
Electr. Notes Theor. Comput. Sci., 2009

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance
Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009


  Loading...