top | item 10767707 (no title) g8gggu89 | 10 years ago What are you doing with programming languages exactly?? discuss order hn newest jonsterling|10 years 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|10 years ago Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?
jonsterling|10 years 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|10 years ago Formal methods and verification, analysis, compiler technology, type systems, concurrency, and education. Why?
jonsterling|10 years ago
munin|10 years ago