Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Bejleri, Andi
add a person with the name Bejleri, Andi
 

Other publications of authors with the same name

A Co-contextual Type Checker for Featherweight Java (incl. Proofs)., , , , and . CoRR, (2017)A Co-contextual Type Checker for Featherweight Java ., , , , and . ECOOP, volume 74 of LIPIcs, page 18:1-18:26. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Parameterised Multiparty Session Types., , , and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 128-145. Springer, (2010)Session-Based Programming for Parallel Algorithms: Expressiveness and Performance, , and . PLACES, volume 17 of EPTCS, page 17-29. (2009)Cooperative decoupled processes: the e-calculus and linearity., , and . MODULARITY, page 82-93. ACM, (2016)Cooperative decoupled processes., , , and . Software Quality Journal, 26 (3): 1147-1183 (2018)Practical Parameterised Session Types.. ICFEM, volume 6447 of Lecture Notes in Computer Science, page 270-286. Springer, (2010)Parameterised Multiparty Session Types, , , and . Logical Methods in Computer Science, (2012)A Type Theory for Robust Failure Handling in Distributed Systems., , , , and . FORTE, volume 9688 of Lecture Notes in Computer Science, page 96-113. Springer, (2016)Comprehensive Multiparty Session Types., , , , and . CoRR, (2019)