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
Language Theory into Practice
Graph Chatbot
Related lectures (31)
Previous
Page 2 of 4
Next
Variables & Operators
Covers the basics of C programming, including variables, operators, and system-oriented programming, emphasizing differences from Java.
An Introduction to Iris: Higher-Order Concurrent Separation Logic
Introduces Iris, a logical framework for reasoning about safety and correctness of concurrent higher-order imperative programs, emphasizing its unique characteristics and applications.
Hoare Logic: Foundations and Applications
Covers Hoare Logic, its foundations, applications, and significance in program verification.
Meta-metaprogramming: Advanced Tools for Software Engineering
Explores 'meta-metaprogramming' for simplifying advanced programming tools and addressing software engineering challenges.
Solving Type Constraints
Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.
Effective Altruism: AI Safety and Governance
Covers effective altruism in AI safety, focusing on programming semantics and memory management.
Pointers and Functions: Understanding Type Reading
Covers type reading in C, focusing on pointers, functions, and the use of typedefs for clarity.
Operators and Expressions: Programming in C
Explains operators and expressions in C, focusing on arithmetic, comparison, and logical operations.
Propositions as Types: Logic and Programming Correspondence
Explores the relationship between logic proofs and programming evidence through the Curry-Howard Correspondence.
Introduction to Types and Inductive Relations
Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.
