As I wrote elsewhere, garbage collection - manual memory management correspond to intuitionistic logic - linear logic. So garbage collection is a technology with logical implications.

There are further technologies (compiler algorithms) behind perennialisation - linear logic admits exponentials, and indeed languages such as C have perennially typed values (for instance, of type int) which are stack-allocated or placed in registers.

# Liveness Analysis - Register Allocation

Liveness analysis, spilling are technologies behind the "finger of Thomism" that lets register-bound and stack-allocated values be perennial - a C value of type int can be reused freely.

# Conclusion

Type theoretic decisions require backing in the compiler.

The complexity of such algorithms matters; if liveness analysis were $$O(2^n)$$, perennial types would hardly be viable.