你即將離開本站

並前往https://dl.acm.org/doi/10.1145/3337932.3338811

Dependent object types with implicit functions - ACM Digital ...

DOT (Dependent Object Types) is an object calculus with path-dependent types and abstract type members, developed to serve as a theoretical ...

確定！ 回上一頁

查詢 「Object type」的人也找了：

  1. object type中文
    2.
  2. Python object type
    3.
  3. TypeScript object type
    4.
  4. JavaScript type check
    5.
  5. TypeScript type
    6.
  6. JS typeof object
    7.
  7. Primitive type reference type
    8.
  8. TypeScript object key type
    9.