你即將離開本站

並前往https://unpaywall.org/10.1145%2F2370776.2370781

Automatic synthesis of specifications for first order ... - Unpaywall

Abstract. This paper presents a technique to automatically infer algebraic property-oriented specifications from first-order Curry programs.

確定！ 回上一頁

查詢 「automatic currying」的人也找了：

  1. Currying
    2.
  2. 柯里化
    3.
  3. 柯里化js
    4.
  4. Currying in JavaScript
    5.
  5. Partial application vs currying
    6.
  6. Java currying
    7.
  7. curried中文
    8.
  8. Double arrow function
    9.