James Wood
(2025-06-24) Programming Languages at Huawei. Formerly, linear and modal type systems in Agda. Thesis: https://stax.strath.ac.uk/concern/theses/tt44pn44w. Website: https://lamudri.github.io/.
Public Key
npub1t83cpdlhcx83pe5qyw3gseg4hnvmpjeqvxq9mjxfl082uh0xsexqv8zfqwNIP-05 Address
mudri_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqs9ncuqklmurrcsu6qz8g5gv52mekdsevsxrqzaerylhn4wthngvnqprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntqyf8wumn8ghj7mmxve3ksctfdch8qatz5jc7erPublishing to
relay.momostr.pink relay.momostr.pink
offchain.pub offchain.pub
relay.snort.social relay.snort.social
Author Public Key
npub1t83cpdlhcx83pe5qyw3gseg4hnvmpjeqvxq9mjxfl082uh0xsexqv8zfqw