A theory of higher-order subtyping with type intervals
Journal article, 2021
higher-kinded types
bounded type operators
singleton kinds
type intervals
dependent kinds
bounded polymorphism
subtyping
hereditary substitution
Scala
Author
Sandro Stucki
Chalmers, Computer Science and Engineering (Chalmers), Information Security
Paolo G. Giarrusso
BedRock Systems Inc.
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 5 ICFP 3473574Subject Categories
Philosophy
Computational Mathematics
Mathematical Analysis
DOI
10.1145/3473574