‹Programming› 2023
Mon 13 - Fri 17 March 2023 Tokyo, Japan
James Haydon

Registered user since Sat 10 Dec 2022

Name:James Haydon
Country:Japan
Affiliation:National Institute of Informatics, Japan
Research interests:Programming languages, Category theorey, Formal verification

Contributions

VIMPL 2023 Committee Member in Program Committee within the VIMPL 2023-track
Lawvere: A categorical programming language with effects
Show activities from other conferences

Using general profile