ICFP/SPLASH 2025 (series) / Dimitar Dimitrov
Registered user since Tue 26 Aug 2025
Name:Dimitar Dimitrov
Country:Bulgaria
Affiliation:INSAIT, Sofia University "St. Kliment Ohridski"
Research interests:Programming languages, Logic
Contributions
Using general profile