M
mudri@mathstodon.xyz
@mudri@mathstodon.xyz
(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/.
Reputation
0
Profile views
1
Joined
Last Online