SPLASH 2024
Sun 20 - Fri 25 October 2024 Pasadena, California, United States
SPLASH 2024 (series) / Oliver Bračevac
Oliver Bračevac

Registered user since Tue 18 Aug 2015

Name:Oliver Bračevac
Bio:

Currently working on effect systems for Scala 3.

Country:Switzerland
Affiliation:EPFL, LAMP
Personal website: http://bracevac.org
X (Twitter): http://x.com/etaconversion
GitHub: http://github.com/bracevac
Research interests:Capture Types, Compilation of Functional Languages, (Path-)Dependent Types, (Co)Effects, Separation Logic, Ownership

Contributions

Show activities from other conferences

SPLASH 2024-profile
View general profile