conf.researchr.org / Oliver Bračevac

Registered user since Tue 18 Aug 2015
Name: Oliver Bračevac
Affiliation: Purdue University
Personal website: https://bracevac.org
Twitter: https://twitter.com/etaconversion
GitHub: https://github.com/bracevac
Research interests: (Path-)Dependent Types, (Co)Effects, Reactive Programming, Complex Event Processing, Stream Processing
Contributions