Jon Pretty - Exploiting Dependent Types for Safer, Faster Code

Minimizing the Slippery Surface of Failure — Jon PrettyПодробнее

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

Jon Pretty Impromptu: A Lightweight, dependently typed async framework for ScalaПодробнее

Jon Pretty - Impromptu: A Lightweight, dependently-typed async framework for ScalaПодробнее

Deriving pleasure - Jon PrettyПодробнее

F(by) 2017. Jon Pretty - Impromptu: Representing Async Graphs with Dependent Types.Подробнее

Principles of Elegance by Jon PrettyПодробнее

Delimited dependently-typed monadic checked exceptions in ScalaПодробнее

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

scale.bythebay.io: Jon Pretty, Magnolia: Generic Derivation 2.0Подробнее

Delimited dependently by Jon PrettyПодробнее

Scala Swarm 2017 | Jon Pretty: Types. (keynote)Подробнее

ScalaIO - Jon Pretty, Lars Hupel - Typelevel Scala: What does it mean ?Подробнее

Delimited dependently-typed monadic checked exceptions in ScalaПодробнее

Dependent typesПодробнее

Principles of Elegance - by Jon PrettyПодробнее

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

KSUG: Builds are Infuriating by Jon PrettyПодробнее

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