Registered user since Tue 25 Aug 2026
Name:Viktor Csimma
Country:Hungary
Affiliation:Eötvös Loránd University, Eötvös József Collegium (Budapest, Hungary)
Personal website: https://csimmaviktor.web.elte.hu/
GitHub: https://github.com/viktorcsimma
Research interests:Agda, Haskell, foreign function interfaces
Contributions
Using general profile