Hacker News new | ask | show | jobs
by g8gggu89 3837 days ago
What are you doing with programming languages exactly??
2 comments
jonsterling 3837 days 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.
link
munin 3837 days ago
Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?
link