Robin Kaarsgaard -

Registered user since Tue 6 Jul 2021

Name:Robin Kaarsgaard

Country:United Kingdom

Affiliation:University of Edinburgh

Personal website:https://functorial.org

Twitter:https://twitter.com/manchegobaby

GitHub:https://github.com/rkaarsgaard

Contributions

POPL 2022	Author of Quantum Information Effects within the POPL-track