Sun 15 - Sat 21 November 2020 Online Conference
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


Scala 2020 Committee Member in Program Committee within the Scala-track
SPLASH 2020 Compiling Symbolic Execution with Staging and Algebraic Effects
Show activities from other conferences

SPLASH 2020-profile
View general profile