Search 6,000+ CA Community College Courses
A Dependently Typed Language with Dynamic Equality

A Dependently Typed Language with Dynamic Equality

ACM SIGPLAN via YouTube Direct link

Introduction

1 of 8
Next

1 of 8

Introduction

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

A Dependently Typed Language with Dynamic Equality

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Introduction
  2. 2 Why type checking
  3. 3 Surface language
  4. 4 Cast language
  5. 5 elaboration
  6. 6 Questions
  7. 7 Handling Data
  8. 8 Unification

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.