3 ms·
Practical implementations of languages based on lambda calculus and graph-reduction. KRC, SASL, Miranda. Simon Peyton-Jones was a key driver of some of this wo
by watmough 18y ago
Practical implementations of languages based on lambda calculus and graph-reduction.
KRC, SASL, Miranda. Simon Peyton-Jones was a key driver of some of this work, and obviously he's still a major force behind Haskell.