Programs by dension