Partial evaluation and automatic program generation | lit.salon