Abstract Interpretation in StainlessExplores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Enums: Pure DataCovers enums as a shorthand for case class hierarchies, focusing on modeling pure data.
Akka Typed FacilitiesCovers Akka Typed Facilities for programming reactive systems, focusing on modeling protocols and implementing type-safe service discovery.
Data Management: OverviewIntroduces fundamental concepts of data management, including data models, databases, and key tasks.
Class HierarchiesCovers abstract classes, class extensions, object definitions, companion objects, and dynamic binding in Scala.
