List of Functional Programming Topics - Combinatory Logic

Combinatory Logic

  • Fixed point combinator
  • SKI combinator calculus
  • B,C,K,W system
  • SECD machine
  • Graph reduction machine

Read more about this topic:  List Of Functional Programming Topics

Famous quotes containing the word logic:

    “... We need the interruption of the night
    To ease attention off when overtight,
    To break our logic in too long a flight,
    And ask us if our premises are right.”
    Robert Frost (1874–1963)