ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy
ICFP 2024 (series) / Luca Padovani

Registered user since Tue 18 Aug 2015

Name:Luca Padovani
Country:Italy
Affiliation:University of Camerino
Personal website: https://boystrange.github.io
GitHub: https://github.com/boystrange
Research interests:programming languages, type systems, concurrency theory, distributed computing, formal verification

Contributions

Show activities from other conferences

ICFP 2024-profile
View general profile