Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Practice
Publications
Startups
Units
Show all results for
Home
Lecture
Foundations of Scala: Modelling and Type Systems
Graph Chatbot
Related lectures (32)
Previous
Page 3 of 4
Next
Python Programming Basics
Covers the basics of Python programming, focusing on flow control structures, interactive mode, script mode, and variables.
Fracture Mechanics: Crack Growth and Weakest Link
Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
Fracture Mechanics: Energy Analysis
Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.
Fracture Analysis: Energy and Mechanics
Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.
Kinematics: Deformation and Expansion
Explores kinematics of deformation, focusing on radial and linear expansion, torsion, and rotation by an angle.
Service Design Basics
Introduces the basics of service design, including key models and processes, problem framing, co-creation, and customer journey mapping.
Type Systems: Preservation and Typing Rules
Covers preservation, substitution, weakening, and sequencing in type systems.
Compiler Extension Lab
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Polymorphism in Coq: Data Structures and Functions
Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.
