Concept

Type system

Related lectures (32)

Covers Amyli, a tiny functional language, type rules, and soundness.

Explains the process of solving type constraints using the unification algorithm and generalization for flexible type inference.

Syntax and Typing Rules

Covers syntax and typing rules in programming languages, discussing aliasing, mutability, and store locations.

Advanced Types in C: Enums, Typedefs, and Structs

Discusses advanced types in C, including enumerated types, typedefs, and structures, with practical examples to illustrate their usage.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

VHDL for Synthesis

Covers basic VHDL constructs for RTL design, including arithmetic, multiplexers, registers, and instantiation.

Polymorphism in Object-Oriented Programming: Inclusion Mechanism

Covers polymorphism in object-oriented programming, focusing on inclusion polymorphism and its implementation through class hierarchies and virtual methods.

Fracture Mechanics: Crack Growth and Weakest Link

Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.

Weibull Model: Random Data

Explores the Weibull model's application to random data and its significance in analyzing material strength and failure probability.

Fracture Mechanics: Energy Analysis

Explores energy analysis in fracture mechanics, emphasizing unstable crack growth and the importance of compliance in structural behavior.

Fracture Analysis: Energy and Mechanics

Explores macroscopic energy analysis of fracture, focusing on unstable crack growth and energy mechanics.

Designing Learning Experiences: CS411 Class Project

Introduces the CS411 Class Project, where students design and test a lesson using learning theories.