Types and Inductive Relations

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (32)

Lambda Calculus and Type Safety: An Overview

Provides an overview of lambda calculus, type safety, and type inference in programming languages.

Method Dispatch Optimization

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.

Compiler Extension Lab

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

Polymorphism and Type Testing

Explores object-oriented programming concepts, polymorphism, inheritance, and dynamic binding in Java, emphasizing the importance of correct object comparison.

Integer Types: Operations and Comparators

Explores integer types in Java, covering operations, overflow, underflow, and comparators with code examples.

Generics in Java: Cell and Pair Classes

Covers the implementation of generic classes in Java, focusing on the Cell and Pair classes.

Comparing Objects: Comparable vs Comparator

Covers the concepts of Comparable and Comparator interfaces in Java, explaining how classes implement these interfaces to enable object comparison.

Introduction to Arrays: Java

Covers the introduction to arrays in Java, focusing on structured data representation and efficient data manipulation.

Generics in Java

Covers the concept of generics in Java, focusing on implementation and usage.

Garbage Collection in Object-Oriented Languages

Explores garbage collection techniques in object-oriented languages, focusing on mostly-copying and generational GC, heap organization, promotion policies, and method dispatch challenges.

Deep Copy in Java

Covers deep copy in Java, including polymorphic copy and the clone method.

Java Interfaces: Enumerated Types and Interfaces

Explores the principle of coding to an interface, Java enumerated types, and the benefits of using interfaces for encapsulation.

Page 2 of 2