Login / Signup
Jonathan Brouwer
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Multilingual Information Retrieval
Multi Lingual
Higher Order
Expressive Power
Top Venues
Eelco Visser Commemorative Symposium
</>
Publications
</>
Jonathan Brouwer
,
Jesper Cockx
,
Aron Zwaan
Dependently Typed Languages in Statix.
Eelco Visser Commemorative Symposium
(2023)