Write a Blog >>
Oliver Bračevac

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


ECOOP 2017Author of A Co-contextual Type Checker for Featherweight Java within the ECOOP Research Papers-track
Show activities from other conferences

PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM-profile
View general profile