Java and C# have classes and interfaces, i.e. multiple interface inheritance and single implementation inheritance; Scala has classes and traits that may implement methods and even have state, but ...

Type-preserving compilation improves software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not exist for languages with ...