John Li - ICFP 2024

Mon 2 - Sat 7 September 2024 Milan, Italy

Registered user since Sun 18 Jun 2023

Name:John Li

Affiliation:Northeastern University

Personal website: https://johnm.li/

Research interests:Logic, semantics, mechanized proof

Contributions

2024

HOPE

An Incremental Approach to the Semantics of Borrowing

Show activities from other conferences

ICFP 2024-profile
View general profile