Protocols in Akka TypedExplores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.
Advanced C Data TypesCovers advanced data types and memory management in C programming, emphasizing type consistency and dynamic array allocation.
Akka Typed FacilitiesCovers Akka Typed Facilities for programming reactive systems, focusing on modeling protocols and implementing type-safe service discovery.
Types in Lambda CalculusCovers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Python Programming BasicsCovers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
