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
Concept
System programming language
Graph Chatbot
Related lectures (32)
Login to filter by course
Login to filter by course
Reset
Previous
Page 2 of 4
Next
Intro to Coding: Binary Code Representation and Transistors
Covers binary code representation and the importance of programming languages for different tasks.
Foundations of Software: Modeling Programming Languages
Covers the mathematical study of program behaviors, parsing, domain-specific languages, and powerful tools for language design.
Control of Speed
Covers event planning, sequential programming, and the decision-making process when programming a robot.
Thymio Programming: Simulation and Remote Control
Explores simulating and remotely controlling the Thymio robot for various applications.
Taming Null References
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Records and Variants
Introduces records, variants, evaluation rules, typing rules, aliasing challenges, and benefits in programming languages.
Solving Type Constraints
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
The Story of Grace Hopper
Delves into binary language and Grace Hopper's contributions to programming.
Meta-metaprogramming: Advanced Tools for Software Engineering
Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.
Exercise - Capsules and Group Selection
Covers exercises on capsules creation, group selection, and evaluation criteria.
