I forgot to add a wiki link with some interesting ideas: http://en.wikipedia.org/wiki/Partial_evaluation#Futamura_projections Unfortunately I haven't found much about this on wiki to refer to, my knowledge comes from lectures...