你即將離開本站

並前往https://dblp.org/pid/47/4244

Ranjit Jhala - dblp

Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala: Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.

確定！ 回上一頁

查詢 「Jhala ucsd」的人也找了：

  1. Jhala ucsd
    2.
  2. Ucsd cse faculty
    3.
  3. University of California San Diego Chancellor
    4.
  4. Griswold ucsd
    5.
  5. UCSD CS
    6.
  6. cse130 ucsd
    7.
  7. Sicun Gao
    8.
  8. UCSD ai
    9.