(2022-11-10) Programming Languages at Huawei. Sticking around for a PhD with @bentnib at Strathclyde, mechanising linearity.
Reputation
0
Profile views
1
Joined
Last Online
(2022-11-10) Programming Languages at Huawei. Sticking around for a PhD with @bentnib at Strathclyde, mechanising linearity.