3 ms·
Presumably working on their syntax and semantics. PL is a pretty broad field that encompasses proof theory, formal logic, language design, compiler design, etc.
by jonsterling 11y ago
Presumably working on their syntax and semantics. PL is a pretty broad field that encompasses proof theory, formal logic, language design, compiler design, etc.