Paul Tarau. On Synergies between Type Inference, Generation and Normalization of SK-Combinator Trees. In Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, editors, 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. pages 160-166, IEEE, 2015. [doi]
Abstract is missing.