SPLASH 2015 (series) / 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
View general profile