4 ms·

What are you doing with programming languages exactly??

• 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.
• munin 11y ago
  Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?