你即將離開本站

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

How to prove type soundness of Java-like languages without ...

How to prove type soundness of Java-like languages without forgoing big-step semantics. Share on. Author: Davide Ancona. DIBRIS, Università di Genova, Italy.

確定！ 回上一頁

查詢 「Forgoing」的人也找了：

  1. Forgoing
    2.
  2. Forego
    3.
  3. foregoing中文
    4.
  4. forgo中文
    5.
  5. Foregoing
    6.
  6. Forgone
    7.
  7. forgo用法
    8.
  8. forging中文
    9.