9 results found
https://www.smlfamily.org

…or ML devoted to this ongoing work. Earlier discussions on the successor-ml.org wiki are available there, and a new wiki has been started for future discussions. Implementations, Extensions, and Variations of Standard ML Standard ML of New Jersey (SML/NJ) A free, open-source impl…

https://en.wikipedia.org/wiki/en:Currying

… years before I did. ^ "Currying Schonfinkelling" . Portland Pattern Repository Wiki . Cunningham & Cunningham, Inc. 6 May 2012. ^ Barendregt, Henk; Barendsen, Erik (March 2000) [December 1998]. Introduction to Lambda Calculus (PDF) (Revised ed.). p. 8. ^ Curry, Haskell ; Feys, R…