Login to filter by course Login to filter by course Reset
Common Sequences OperationsCovers common operations on sequences like lists and tuples, including slicing, extending, and replacing elements.
Polymorphism and ProofsCovers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Tuples, Sets, and DictionariesCovers tuples, sets, and dictionaries in Python, explaining their similarities and differences, common operations, and key concepts.
Contextual AbstractionExplores contextual abstraction in software construction, discussing how functions and classes can be written without detailed knowledge of the context in which they will be used.
Type InferenceExplores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.
Compiler Extension LabCovers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.