Before revision: For instance, C++ has a dichotomy in its memory model (heap versus stack), whereas Java has a dichotomy in its type system (references versus primitive cool data types)
After revision: For instance, C++ has a dichotomy in its memory model (heap versus stack), whereas Java has a dichotomy in its type system (references versus primitive data types)