The calculus of Dependent Object Types (DOT) has enabled a more principled and robust implementation Scala, but its support for type-level computation proven insufficient. As remedy, we propose $F^\omega_{..}$, rigorous theoretical foundation Scala's higher-kinded types. $F^\omega_{..}$ extends $F^\omega_{<:}$ with interval kinds, which afford unified treatment important type- kind-level abstra...

In this paper, we introduce the idea of generalized Ritt type and generalised Ritt weak type of entire functions represented by a vector valued Dirichlet series. Hence, we study some growth properties of two entire functions represented by a vector valued Dirichlet series on the basis of generalized Ritt type and generalised Ritt weak type.