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Подробнее

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

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

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

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

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

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

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

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

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

Dependent typesПодробнее

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

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

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

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

A Gentle, Practical Introduction to Path-Dependent Types - David van GeestПодробнее