Pure type system

Formal sciences
Theoretical computer science
Programming language theory
Type theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (9)

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.

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.

Polymorphism in Coq: Data Structures and Functions

Covers polymorphism in Coq, focusing on data structures and functions like lists, length, and append.

Lambda Calculus: Syntax and Abstractions

Introduces terms, abstractions, applications, and values in the lambda calculus.

Simply Typed Lambda Calculus: Foundations and Properties

Covers the simply typed lambda calculus, focusing on its syntax, semantics, and type system properties such as progress and preservation.

Logical Formulas and Types: Understanding the Kerry Howard Isomorphism

Explores the Kerry Howard Isomorphism, translating logical propositions into types and terms, with a focus on proof by induction and exam preparation.

Type Inference

Explores type inference in statically typed languages, using algorithms to assign types to program expressions accurately.

Type Inference: Hindley-Milner Overview

Explores type inference algorithms and rules, including Hindley-Milner type inference for statically typed languages.

Page 1 of 1