Search results

Jump to: navigation, search

Page title matches

  • My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement
    10 KB (1,653 words) - 00:25, 12 July 2021

Page text matches

  • (a4 + 1 / (k3 * sk * sk)) where sk = sin k
    25 KB (3,867 words) - 22:59, 24 July 2021
  • It's possible to embed the Turing-complete [[Type_SK|SK combinator calculus]] at the type level.
    8 KB (1,365 words) - 19:23, 15 August 2019
  • ...you how this could be useful, we will implement an evaluator for the typed SK calculus. Note that the K combinator is operationally similar to Since the types of the so-called object language, being the typed SK calculus, are mimicked by the type system in our meta language, being Haske
    8 KB (1,381 words) - 22:41, 12 June 2021
  • My strategy will be to embed the SK combinator calculus. The SK combinator to be Turing-complete. Furthermore, the SK calculus is simpler to implement
    10 KB (1,653 words) - 00:25, 12 July 2021