Check out
- “Types Gone Wild! SKI at Compile-Time” and “Turing Equivalent vs. Turing Complete” at Good Math, Bad Math
- “Scala type level encoding of the SKI calculus” at Michid’s Weblog; and
- “C++ templates Turing-complete?” and “The type system in Scala is Turing complete. Proof? Example? Benefits?” at stackoverflow.