John Li - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

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

LAFI

Towards a Categorical Model of the Lilac Separation Logic

Show activities from other conferences

POPL 2024-profile
View general profile