On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees.

Paul Tarau

Browse the full SYNASC paper archive.