Transitioning From Structural To Nominal Code With Efficient Gradual Typing

2022 13:58
Synopsis
Gradual typing is a principled means for mixing typed and untyped code. But typed and untyped code often exhibit different ...

You Might Also Like

Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi 1:03:09
Toward Efficient Gradual Typing For Structural Types By Deya...
2020
Structural Typing vs Nominal Typing 4:51
Structural Typing Vs Nominal Typing
2025
Gradually Typing Strategies 15:48
Gradually Typing Strategies
2021
Pierre Spring - Nominal Type Systems 42:29
Pierre Spring - Nominal Type Systems
2022
[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full) 19:27
[popl 2021] Abstracting Gradual Typing Moving Forward : Prec...
2022
2025 Python Typing Summit 3:30:00
2025 Python Typing Summit
2026
TypeScript Quickly. Lesson 10: Structural vs nominal type systems 7:35
Typescript Quickly. Lesson 10: Structural Vs Nominal Type S...
2020
"A Gradual Introduction to Types" - Laura Hampton (North Bay Python 2019) 19:07
"a Gradual Introduction To Types" - Laura Hampton (north Bay...
2020
Timothy Jones - Brand Objects for Nominal Typing - ECOOP 2015 32:27
Timothy Jones - Brand Objects For Nominal Typing - Ecoop 201...
2016
Time Travel: Applying Gradual Typing to Time Types with Clang's LibTooling Hyrum Wright CppCon 2019 1:01:14
Time Travel: Applying Gradual Typing To Time Types With Clan...
2020
Optimizing and Evaluating Transient Gradual Typing 26:54
Optimizing And Evaluating Transient Gradual Typing
2020
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
Ssvid
MP4 & MP3 • HD Quality • Browser Extension Available
Download
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.