3 ms·

While most POPL papers do contain some formalism, your description is strikes me as out of date, even for POPL.