Nicolas Wu - POPL 2024

Sun 14 - Sat 20 January 2024 London, United Kingdom

Registered user since Thu 3 Sep 2015

Name:Nicolas Wu

Country:United Kingdom

Affiliation:Imperial College London

Personal website: http://zenzike.com

Contributions

2024

Symposium on Practical Aspects of Declarative Languages

Modular Higher-Order Effects

POPL

Algebraic Effects Meet Hoare Logic in Cubical Agda

PLMW

Show activities from other conferences

POPL 2024-profile
View general profile