Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Covers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.
