Edlira Kuci

According to our database, Edlira Kuci authored at least 6 papers between 2015 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Co-Contextual Type Systems: Contextless Deductive Reasoning for Correct Incremental Type Checking.

Edlira Kuci

PhD thesis, 2020

2018

Incremental overload resolution in object-oriented programming languages.

Tamás Szabó, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

2017

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

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

CoRR, 2017

A Co-contextual Type Checker for Featherweight Java .

Edlira Kuci, Sebastian Erdweg, Oliver Bracevac, Andi Bejleri, Mira Mezini

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

Toward incremental type checking for Java.

Edlira Kuci, Sebastian Erdweg, Mira Mezini

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

A co-contextual formulation of type rules and its application to incremental type checking.

Sebastian Erdweg, Oliver Bracevac, Edlira Kuci, Matthias Krebs, Mira Mezini

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015