Become a Supercommunicator: Master conversation skills with CodeSignal's interactive AI training!
The Type Soundness Theorem That You Really Want to Prove - From Syntactic to Semantic Approaches

The Type Soundness Theorem That You Really Want to Prove - From Syntactic to Semantic Approaches

ACM SIGPLAN via YouTube Direct link

[POPL'18] Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (...

1 of 1

1 of 1

[POPL'18] Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (...

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

The Type Soundness Theorem That You Really Want to Prove - From Syntactic to Semantic Approaches

Automatically move to the next video in the Classroom when playback concludes
  1. 1 [POPL'18] Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (...

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.