4 ms·
The first formal type system that works for (simplified) Scala. More generally, shifting from term rewriting to operational semantics (i.e. proving interpreter
by jedharris 11y ago
The first formal type system that works for (simplified) Scala.
More generally, shifting from term rewriting to operational semantics (i.e. proving interpreters correct) seems like a big improvement. Instead of working in a completely different semantic domain, we work in one closely allied to our implementations.