. . . . "Resourceful program synthesis from graded linear types (Other)"^^ . . . . .