James Haydon -

Registered user since Sat 10 Dec 2022

Name:James Haydon

Country:Japan

Affiliation:National Institute of Informatics, Japan

Personal website: https://github.com/jameshaydon

GitHub: https://github.com/jameshaydon

Research interests:Programming languages, Category theorey, Formal verification

Contributions

2023

VIMPL