Scala exists in both the function and object oriented paradigms, and includes generics similar to that of Java (only more flexible), but adds abstract type ...

Nov 24, 2020 · In this paper we show how, by syntactically separating contra-variance from the recursive aspects of subtyping in System F, decidable subtyping can be ensured.

This paper shows how, by syntactically separating contra-variance from the recursive aspects of subtyping in System F < :, decidable subtyping can be ...

Sep 20, 2020 · This paper is the technical report for the conference paper "Syntactically Restricting Bounded Polymorphism for Decidable Subtyping", ...

Subtyping of Bounded Polymorphism has long been known to be undecidable when coupled with contra-variance. While decidable forms of bounded polymorphism ...

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. Subtyping of Bounded Polymorphism has long been known to be undecidable when coupled ...

This "re-bounding" of variables is syntactically rather bizzarre; in particular, it invalidates a whole class of useful arguments based on structural induction ...

An approach attaining subtype decidability for path dependent types by imposing a syntactic restriction on the use of recursive types while retaining key forms ...

Aug 14, 2023 · In this dissertation, I propose a decidable subtype relation for a restricted language of Julia types where existential types inside invari- ant ...

Syntactically Restricting Bounded Polymorphism for Decidable Subtyping. Chapter © 2020. Denotational and Operational Preciseness of Subtyping: A Roadmap.