conf.researchr.org / Jonathan Brouwer
Jonathan Brouwer

Registered user since Sun 26 Feb 2023

Name:Jonathan Brouwer
Country:Netherlands
Affiliation:TU Delft
Personal website:https://jonathanb.nl
GitHub:https://github.com/JonathanBrouwer

Contributions

EVCS Author of Dependently Typed Languages in Statix within the Eelco Visser Commemorative Symposium-track