New answers tagged


It's not really a good idea to try to divide everything in PL into "syntax" and "semantics". Often we mix things. Nevertheless, as for your question, we normally divide things up like this: terms, values and types are syntactic entities, as each of them is described by grammatical rules, so these are syntax a typing context is syntax in simple cases, when ...

Top 50 recent answers are included