PLoP 2015
Fri 23 - Mon 26 October 2015 Pittsburgh, Pennsylvania, United States
co-located with SPLASH 2015
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:

Research interests: Type Systems, Programming Languages, Reactive Programming, Logic


REBLS 2015Author of Temporal Correlation Patterns within the REBLS-track
SPLASH 2015Author of A Co-Contextual Formulation of Type Rules and its Application to Incremental Type Checking within the OOPSLA-track
Show activities from other conferences

SPLASH 2015-profile
View general profile