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

SPLASH 2015 Activities

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