Registered user since Thu 30 Jun 2022

Name:Francis Rinaldi
Country:United States
Affiliation:Illinois Institute of Technology
Research interests:Programming Language Theory, Quantum Computing

Contributions

ICFP 2022 Author of Typing Recursive Data Structures of Futures for Graph Types within the Student Research Competition-track