typed-ski
v1.0.0
Published
SKI combinators in Typescript
Downloads
10
Readme
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).