Hands-On Scala Programming : Dependent Types | packtpub.com

Introduction to programming with dependent types in Scala (2018)Подробнее

Path-dependent types in ScalaПодробнее

Introduction to Dependent Types in Scala - Owein Reese of MediaMathПодробнее

Encoding Async Graphs with Dependent Types—Jon PrettyПодробнее

Introduction to programming with dependent types in Scala (2018) https://stepik.org/course/49181Подробнее

Future of Haskell: Dependent typesПодробнее

What Are Dependent Types? - Next LVL ProgrammingПодробнее

Scala 3: Path-Dependent Types, Methods and FunctionsПодробнее

Dependent TypesПодробнее

Inner Types and Path Dependent Types #6.4 mastering the type systemПодробнее

Understanding Path-Dependent Types in Scala: Accessing Type Members EfficientlyПодробнее

Dependent typesПодробнее

A Specification for Dependent Types in HaskellПодробнее

F(by) 2016 - George Leontiev - Overview of Type Level Programming Technics in ScalaПодробнее

Normalization by Evaluation for Sized Dependent TypesПодробнее

Jon Pretty - Exploiting Dependent Types for Safer, Faster CodeПодробнее

Dependent Types: Through The Looking GlassПодробнее