[[Notes - Imperative Programming HT23, Invariants]]U [[Notes - Imperative Programming HT23, Abstract data types]]U [[Notes - Imperative Programming HT23, Object-oriented programming]]U [[Notes - Imperative Programming HT23, Scala]]U [[Notes - Imperative Programming HT23, Linked lists]]U