Stupňovité (staged) programování dovoluje psát programy, které dostávají své argumenty postupně a na jejich základě generují za běhu kód, který bude korektně vyhodnocovat funkci vzhledem k zbylým argumentům. Úkolem práce je rozebrat tuto problematiku teoreticky a/nebo implementovat prototyp v kontextu funkcionálního nebo logického programování.