VDict - Definition of S-K reduction machine

Computing (FOLDOC) dictionary

S-K reduction machine

Jump to user comments

An abstract machine defined by Professor David Turner to

evaluate combinator expressions represented as binarygraphs. Named after the two basic combinators, S and K.

Related search result for "S-K reduction machine"

Words contain "S-K reduction machine" in its definition in Computing (FOLDOC) dictionary:
reduction Compiler Target Language abstract machine reduction strategy parallel reduction Tcode S-K reduction machine string reduction beta reduction G-Code more...

Comments and discussion on the word "S-K reduction machine"