Completed
Refactoring: Pure Inputs
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
All the Languages Together
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Multi-Language Software is Hard!
- 3 Current State of PL Design
- 4 Reasoning about Refactoring
- 5 Is this Refactoring Correct?
- 6 PureLang with Linking Types Extension PureLang
- 7 Refactoring: Pure Inputs
- 8 Refactoring: Stateful Inputs
- 9 Minimal Annotation Burden
- 10 Type-Preserving Compilation
- 11 Cross-Language Type Errors
- 12 Preserving Correctness of Refactoring
- 13 Mulberry Project
- 14 What about Untyped Languages?
- 15 Takeaways
