Onward! 2015
Sun 25 - Fri 30 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:http://bit.ly/1G1sprp
Research interests:Type Systems, Programming Languages, Reactive Programming, Logic

Contributions

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

SPLASH 2015-profile
View general profile