Skip to main content
Graph
Search
fr
en
Login
Search
All
Categories
Concepts
Courses
Lectures
MOOCs
People
Quizes
Exercises
Publications
Startups
Units
Show all results for
Home
Lecture
Untitled
Graph Chatbot
Related lectures (34)
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Dependent Types in Programming Languages
Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.
Types in Lambda Calculus
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Verifying Programs with Stainless: How Stainless Works
Explores the inner workings of the Stainless framework, emphasizing verification-aware transformations and dependent type checking.
Verified Functional Programming: Nicolas Voirol public PhD thesis defense
Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.
Collision Kinetics: Theory and Applications
Covers the theory and applications of collision kinetics in understanding molecular interactions.
Chain Polymerisation: Mechanism and Kinetics
Explores the mechanism and kinetics of chain polymerisation, focusing on inhibitors and competitive inhibition in enzyme reactions.
Designing Learning Experiences: CS411 Class Project
Introduces the CS411 Class Project, where students design and test a lesson using learning theories.
Lighting and Rendering in Rhino
Explores lighting, rendering, and Vray novelties in Rhino, covering directional, rectangular, and punctual lights.
Introduction to Rhino Surfaces and Meshes
Introduces working with surfaces, polysurfaces, and solids in Rhino, covering rendering, material editing, and mesh creation.
Matrix to Density Operator
Explains the transformation from a matrix to the density operator in quantum physics.
Introduction to Rhino: Surfaces and Meshes
Introduces the fundamentals of working with NURBS and surfaces in Rhino, covering tools for creating curves, surfaces, and meshes.
Density Operator: Matrix to the System State
Explores density operator matrix transformation in quantum physics and the implications of measuring the system, leading to state collapse.
Solving Parity Games in Practice
Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.
Collision Flux Derivation
Explores collision flux derivation and Knudsen method for measuring vapor pressure.
Type Checking and Reconstruction: Equations and Unification
Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.
Inclusion of Fermented Foods in Food Guides
Discusses the inclusion of fermented foods in global food guides, exploring their benefits and risks, enzyme kinetics, and the history of food enzymes.
Reservoirs and Dams: Hydraulic Construction and Sizing
Explores sizing reservoirs and dams using cumulative flow curves and tank dimensioning for dry and rainy periods.
Lambda Calculus and Type Safety: An Overview
Log in to Mediaspace to watch this video
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Simply Typed Lambda Calculus: Foundations and Properties
Log in to Mediaspace to watch this video
Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.
Previous
Page 1 of 2
Next
