Download [POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq MP3 & Video MP4
| Title | : | [POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq |
| Uploader | : | ACM SIGPLAN |
Download lagu [POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq dari single terbarunya secara gratis. Beli juga musik original di iTunes untuk mendukung karyanya atau gunakan I-Ring / RBT [POPL 2021] CoqPL: An experience report on writing usable DSLs in Coq. Jangan lupa untuk share lagunya ya. Thanks!