Plait Subtyping 5 - Function Arguments

2019 4:19
Synopsis
Extending the subtype relation to allow function types that consume supertypes, which is an example of contravariance.
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.