4 ms·
He's talking about Programming Language Theory, which includes various type theories and such. It's where math and logic meet programming languages. In other wo
by jasonwatkinspdx 4y ago
He's talking about Programming Language Theory, which includes various type theories and such. It's where math and logic meet programming languages. In other words, the math of analyzing programing languages, not using programing languages to implement applied math.