Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Mar 30, 2021
acm.org
Distributing intersection and union types with splits and duality (functional pearl) | Proceedings of the ACM on Programming Languages
Distributing intersection and union types with splits and duality (functional pearl) | Proceedings of the ACM on Programming Languages
Aug 30, 2021
acm.org
Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Empowering union and intersection types with integrated subtyping | Proceedings of the ACM on Programming Languages
Oct 24, 2018
acm.org
A theory of higher-order subtyping with type intervals | Proceedings of the ACM on Programming Languages
A theory of higher-order subtyping with type intervals | Proceedings of the ACM on Programming Languages
Jan 1, 2025
acm.org
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedings of the ACM on Programming Languages
Welterweight Go: Boxing, Structural Subtyping, and Generics | Proceedings of the ACM on Programming Languages
3 months ago
acm.org
The trouble with subtyping: An introduction to type bounds and variance – INNOQ Technology Lunch
The trouble with subtyping: An introduction to type bounds and variance – INNOQ Technology Lunch
329 viewsNov 18, 2020
YouTubeINNOQ
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages
The simple essence of algebraic subtyping: principal type inference with subtyping made easy (functional pearl) | Proceedings of the ACM on Programming Languages
Aug 18, 2020
acm.org
QuickSub: Efficient Iso-Recursive Subtyping | Proceedings of the ACM on Programming Languages
8 months ago
acm.org
20:26
Julia Subtyping - a Rational Reconstruction
808 viewsNov 21, 2018
YouTubeACM SIGPLAN
Gradual typing: a new perspective | Proceedings of the ACM on Programming Languages
Jan 13, 2020
acm.org
Revisiting iso-recursive subtyping | Proceedings of the ACM on Programming Languages
Nov 14, 2020
acm.org
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
Feb 21, 2020
acm.org
Decidable subtyping for path dependent types | Proceedings of the ACM on Programming Languages
Dec 20, 2019
acm.org
9:25
How to Use OCaml's Coercion Operator
3K viewsOct 1, 2024
YouTubeJane Street
Subtyping delimited continuations | ACM SIGPLAN Notices
Apr 20, 2020
acm.org
4:56
Subclassing vs Subtyping
7.6K viewsJan 6, 2019
YouTubeStudy Conquest
1:24:34
Simon Peyton Jones on Haskell, Verse, Strong Type Systems and Tasteful Abstractions
2.5K views4 weeks ago
YouTubeRock the JVM
7:26
L17: Subtyping vs inheritance in java | type compatibility & code reuse
8.9K viewsFeb 3, 2025
YouTubeIIT Madras - B.S. Degree Programme
18:31
L28: Java generics & subtyping | wildcards, extends, super & covariance explained
8.3K viewsFeb 3, 2025
YouTubeIIT Madras - B.S. Degree Programme
Semantic subtyping with an SMT solver | ACM SIGPLAN Notices
Sep 27, 2010
acm.org
16:34
Topic 04, Part 11 - Supertype and Subtype Entities
22.7K viewsFeb 4, 2023
YouTubeDr. Daniel Soper
40:29
Lecture 11 Object Oriented Programming, Inheritance, Subtyping,Subtitution, Static & Dynamic Binding
670 viewsAug 5, 2020
YouTubeConcept Learning
Resolution as intersection subtyping via Modus Ponens | Proceedings of the ACM on Programming Languages
Nov 21, 2020
acm.org
5:26
14 introduction to subprogramming
11K viewsMay 29, 2019
YouTubeOU Education
1:11:50
PL Class: Subtyping
163 viewsApr 13, 2022
YouTubeEdward Z. Yang's PyTorch and PL
1:32
How To Type Subscripts with Your Keyboard | Type All Subscript Characters With Your Keyboard
9K viewsApr 2, 2020
YouTubeFamiHow
4:34
Data Modeling - Explain Super Type and Sub Type - Theory Only
338 viewsJun 30, 2024
YouTubeAntonys Training And Solution
39:19
Subtypes and domains: What are they and how do they work?
23.8K viewsAug 10, 2020
YouTubeeGIS Associates
9:03
structural subtyping in python with Protocol! (intermediate) anthony explains #164
11K viewsDec 3, 2020
YouTubeanthonywritescode
2:24
How To Type Subscript Characters
497.3K viewsApr 20, 2011
YouTubeGadgets and Gears
See more
Static thumbnail place holder