Tuples: Desugaring and Implementation

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Page 3 of 4

High-Order Functions: Unification Theory

Covers high-order functions, parser, and type checker concepts.

Stochastic Parsing: Probabilistic Approach

Covers Stochastic Context-Free Grammars, probabilistic parsing, and the estimation of probabilities.

Compilers: Challenges with Digital Signal Processors

Covers the challenges of compiling for digital signal processors due to their unique architectural features and irregularities.

How Classes are Organized

Covers how classes and objects are organized in packages, imports, Scala's class hierarchy, traits, top types, the Nothing type, exceptions, and includes an exercise on type determination.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Implicit Conversion: Core Concepts

Covers the core concepts of implicit conversion in Scala and its implementation in Scala code.

Types in Lambda Calculus

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Introduction to Grammars

Introduces automata, regular languages limitations, context-free grammars, and balanced parentheses grammars.

Type Checking in Compiler Frontend

Covers the implementation of a type checker in the compiler frontend.