Applied Implicit Computational Complexity

This is a dissertation defense "prep talk", scheduled for presentation at the ECOOP 2025 Doctoral Symposium in Bergen, Norway on July 3, 2025.