Bearbmagovva

Furkejuvvon:
Bibliográfalaš dieđut
Váldodahkkit: Gross, Jason, Erbsen, Andres, Philipoom, Jade, Agrawal, Rajashree, Chlipala, Adam
Materiálatiipa: Preprint
Almmustuhtton: 2022
Fáttát:
Programming Languages
F.3.1; D.2.4; F.4.2; D.3.4
Liŋkkat:https://arxiv.org/abs/2205.00862
Fáddágilkorat: Lasit fáddágilkoriid
Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

Interneahtta

https://arxiv.org/abs/2205.00862

Geahča maid