Home > Category > News

News

Charla de Paolo Giarrusso: Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris

The metatheory of the Scala core type system (DOT), first established recently, is still hard to extend, like other systems combining subtyping and forms of dependent types. Soundness of important Scala features remains an open problem in theory and in practice.

Talk by Paolo Giarrusso: Towards Semantic Type Soundness for Dependent Object Types and Scala with Logical Relations in Iris

The metatheory of the Scala core type system (DOT), first established recently, is still hard to extend, like other systems combining subtyping and forms of dependent types. Soundness of important Scala features remains an open problem in theory and in practice.

Pages

Subscribe to RSS - News