Registered user since Tue 18 Aug 2015
Name:Oliver Bračevac
Bio:
PhD student at Technische Universität Darmstadt, Software Technology Group.
Country:Germany
Affiliation:TU Darmstadt
Personal website:http://bit.ly/1G1sprp
Research interests:Type Systems, Programming Languages, Reactive Programming, Logic
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