An abstract machine defined by Professor David Turner to evaluate combinator expressions represented as binary graphs. Named after the two basic combinators, S and K.
Better Than TripAdvisor
- Holiday destination reviews, hotel information,
pictures, sightseeing advice and food reviews.
Updated: Mon Aug 29 21:01:10 2016
No longer supported by Imperial College Department of Computing
Copyright Denis Howe 1985