Login to filter by course Login to filter by course Reset
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores 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.
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
Covers abstract algebra concepts using type classes in Scala, including defining monoids, generalizing reduce functions, and typeclass laws.
Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.
Explores reactive programming principles, focusing on functions and pattern matching in Scala, including JSON representation and partial functions.
Explores implicit function types and their application in a conference management system, discussing the trade-off between types and terms in implicit parameters.
Covers the use of static class attributes and methods in C++ to avoid global variables and emphasizes best practices for static method implementation.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Covers the concept of generics in Java, focusing on implementation and usage.
