Subtyping 5 — Function Arguments

2024 2:44
Synopsis
Extending the subtype relation to allow function types that consume supertypes, which is an example of contravariance.

You Might Also Like

Plait Subtyping 5 - function arguments 4:19
Plait Subtyping 5 - Function Arguments
2019
Function/Method subtyping is always contravariant in its argument - covariant is unsound 0:30
Function/method Subtyping Is Always Contravariant In Its Arg...
2014
5.2: Function Parameters and Arguments - p5.js Tutorial 10:32
5.2: Function Parameters And Arguments - P5.js Tutorial
2016
Plait Subtyping 4 - function results 2:51
Plait Subtyping 4 - Function Results
2019
Beginner Python Tutorial 84 - Arguments and Parameters 2:11
Beginner Python Tutorial 84 - Arguments And Parameters
2021
Subtyping 4 — function results 1:40
Subtyping 4 — Function Results
2024
Plait Subtyping 2 - subtypes 6:47
Plait Subtyping 2 - Subtypes
2019
chapter 5, function calling, function arguments, function parameters 25:18
Chapter 5, Function Calling, Function Arguments, Function Pa...
2024
Function Parameters and function argument 5:24
Function Parameters And Function Argument
2022
The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... (ICFP 2020) 14:39
The Simple Essence Of Algebraic Subtyping: Principal Type In...
2021
Shplait Typed Class 5 - subtypes 3:05
Shplait Typed Class 5 - Subtypes
2024
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.