Registered user since Thu 27 Aug 2015
Name:Edlira Kuci
Bio:
PhD student at Technische Universität Darmstadt, Software Technology Group.
Affiliation:TU Darmstadt, Germany
Personal website:http://www.stg.tu-darmstadt.de/staff/edlira_kuci_homepage/edlira_kuci_detail_page.en.jsp
Research interests:Programming Languages, Type Systems, Co-contextual Type Checkers
Contributions
| ECOOP 2017 | A Co-contextual Type Checker for Featherweight Java | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile
View general profile