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
Dependent Types in Programming Languages
Graph Chatbot
Related lectures (32)
Previous
Page 4 of 4
Next
Robotics: Actuation and Mobility Analysis
Covers corrected exercises from the 2020 exam in the field of robotics, including topics such as accuracy, speed, DC motors, optimal gear ratio, dynamics of robot arms, encoders, and kinematics.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
