Control Structures in JavaCovers control structures in Java, including logical operators, scope, branching, loops, and iterations.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Input/Output Streams in JavaCovers the concept of input/output streams in Java, focusing on the hierarchy of streams and practical examples using IntelliJ IDEA.
Java Programming BasicsCovers the basics of Java programming, including variables, expressions, operators, and the concept of strong typing.