Type specialisation for the -calculus; or, a new paradigm for partial evaluation based on type inference

Partial evaluation is a powerful automated strategy for transforming programs, some of whose inputs are known. The classic simple example is the power function, power n x = if n = 1 then x else x power (n 1) x which, given that n is known to be 3, can be transformed into the specialised versio