ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
ICFP 2022 (series) / Jure Taslak

Registered user since Tue 24 May 2022

Name:Jure Taslak
Country:Slovenia
Affiliation:University of Ljubljana
Personal website: https://www.fmf.uni-lj.si/sl/imenik/1331/taslak-jure/
GitHub: https://github.com/cilinder
Research interests:Type theory, proof assistants, formalization, category theory

Contributions

Show activities from other conferences

ICFP 2022-profile
View general profile