A reference to the program P under its name, made without P's code: P is typeof p of an import type. The
name is the type of P's, so a name that is not the program's does not compile, where a send under it would
wait for ever for a deploy of that name. A program whose name is typed string, as one typed Program<T> by hand,
has no reference: no name could be checked against it, and a sender passes the program itself (decision 0183).
A reference to the program
Punder its name, made withoutP's code:Pistypeof pof animport type. The name is the type ofP's, so a name that is not the program's does not compile, where a send under it would wait for ever for a deploy of that name. A program whose name is typedstring, as one typedProgram<T>by hand, has no reference: no name could be checked against it, and a sender passes the program itself (decision 0183).