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