你即將離開本站

並前往https://www.sciencedirect.com/science/article/pii/0167642395000216

An algorithm for type-checking dependent types - ScienceDirect

Abstract. We present a simple type-checker for a language with dependent types and let expressions, with a simple proof of correctness.

確定！ 回上一頁

查詢 「Type checking」的人也找了：

  1. What is type checking
    2.
  2. Python type checking
    3.
  3. Dynamic type checking
    4.
  4. Static type checking
    5.
  5. Compiler type checking
    6.
  6. React type checking
    7.
  7. C check type
    8.
  8. Python enable type checking
    9.