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
Type Inference
Graph Chatbot
Related lectures (32)
Previous
Page 1 of 4
Next
Lambda Calculus and Type Safety: An Overview
Provides an overview of lambda calculus, type safety, and type inference in programming languages.
Foundations of Scala: Modelling and Type Systems
Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.
Type Inference: Hindley-Milner Overview
Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.
Class hierarchies: pattern matching
Covers class hierarchies, pattern matching, function values, and function calls in Scala.
Types in Lambda Calculus
Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.
Functional Programming: Concepts and Implementation
Covers the concepts and implementation of functional programming in Scala, emphasizing functions, immutable data, and data abstraction.
Programming Language Security
Explores programming language security, covering type safety, memory safety, threat safety, Rust's ownership model, sandboxing, and compartmentalization.
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.
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.
Type Systems: Preservation and Typing Rules
Covers preservation, substitution, weakening, and sequencing in type systems.
