According to our database1, Andi Bejleri authored at least 12 papers between 2009 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Cooperative decoupled processes.
Software Quality Journal, 2018
A Co-contextual Type Checker for Featherweight Java (incl. Proofs).
A Co-contextual Type Checker for Featherweight Java .
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017
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
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
Cloudscape: language support to coordinate and control distributed applications in the cloud.
Proceedings of the Conference on Systems, 2011
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
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