A theory of higher-order subtyping with type intervals
Artikel i vetenskaplig tidskrift, 2021
higher-kinded types
bounded type operators
singleton kinds
type intervals
dependent kinds
bounded polymorphism
subtyping
hereditary substitution
Scala
Författare
Sandro Stucki
Chalmers, Data- och informationsteknik, Informationssäkerhet
Paolo G. Giarrusso
BedRock Systems Inc.
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 5 ICFP 3473574Ämneskategorier
Filosofi
Beräkningsmatematik
Matematisk analys
DOI
10.1145/3473574