typed-ski v1.0.0

SKI in TS

An implementation of a parser, evaluator, printer, and serializer for the SKI combinators in Typescript.

Books

• Combinators: A Centennial View, Stephen Wolfram
• To Mock a Mockingbird, Raymond Smullyan
• Combinatory Logic Volume I, Haskell Brooks Curry & Robert Feys

Papers

• Turner, David. “A new implementation technique for applicative languages.” Software: Practice and Experience 9 (1979): n. pag.
• Stoye, William et al. “Some practical methods for rapid combinator reduction.” LFP '84 (1984).

Status