4 ms·

I agree, especially for programming language semantics or abstract compilation. Also it is very useful for theoretical computer scientists.