Now showing items 1-1 of 1

    • Accumulators: New Logic Variable Abstractions for Functional Languages 

      Pingali, Keshav; Ekanadham, Kattamuri (Cornell University, 1988-12)
      Much attention has been focused by the declarative languages community on combining the functional and logic programming paradigms. In particular, there are many efforts to incorporate logic variables into functional ...