Til et andet sprog
fra kildeindhold
arxiv.org
Vigtigste indsigter udtrukket fra
by Davi... kl. arxiv.org 03-12-2024
Dybere Forespørgsler
Indholdsfortegnelse
依存型OOPを最初の原理から導出 - 追加付録を含む拡張版
Deriving Dependently-Typed OOP from First Principles - Extended Version with Additional Appendices
他の記事や研究と比較して、このアプローチはどう異なるか?
Værktøjer og ressourcer
Få en præcis opsummering og nøgleindsigt med AI PDF Opsummeringsværktøjet