40:47Jon Pretty - Exploiting Dependent Types for Safer, Faster CodeScala Up North429 viewsView & Download
7:43Introduction to programming with dependent types in Scala (2018)Dmytro Mitin89 viewsView & Download
2:49[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent TypesACM SIGPLAN227 viewsView & Download
14:44[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional EqualityACM SIGPLAN384 viewsView & Download
13:49Fluid Quotes: Metaprogramming across Abstraction Boundaries with Dependent TypesACM SIGPLAN261 viewsView & Download
42:58F(by) 2017. Jon Pretty - Impromptu: Representing Async Graphs with Dependent Types.SPACE126 viewsView & Download
26:30Didier Plaindoux - Dependent Types: From Theory to Practice - #FS2024Ziverge666 viewsView & Download
40:30Jon Pretty - Impromptu: A Lightweight, dependently-typed async framework for ScalaCurry On!443 viewsView & Download
35:42SBTB 2014, Jared Roesch: Demystifying Shapeless: An Exploration of Dependent Types in ScalaFunctionalTV2.4K viewsView & Download
44:55Jon Pretty Impromptu: A Lightweight, dependently typed async framework for ScalaOlinda Jeffry27 viewsView & Download
1:02:37Jon Pretty - Typesafe & Total; Elegant & Expressive; Compositional & Correct: Exceptions are back!LambdaConf791 viewsView & Download
1:03:38SF Scala: Jon Pretty, Rapture: Better Type Safety across the SeamFunctionalTV98 viewsView & Download
48:17PROBING THE UNPROVABLE AND PROVING THE IMPROBABLE - Jon Pretty | Scalar 2020SoftwareMill359 viewsView & Download
![[SRC POPL'22] Jonathan Chan -- Towards a Syntactic Model of Sized Dependent Types — ACM SIGPLAN — jon pretty exploiting dependent types for safer faster code YouTube to MP3 & MP4 download on TubeGalore](/api/image/kMys-2RU0bo/mqdefault)
![[JFP@ICFP'22] ANF Preserves Dependent Types upto Extensional Equality — ACM SIGPLAN — jon pretty exploiting dependent types for safer faster code YouTube to MP3 & MP4 download on TubeGalore](/api/image/38gxG-PxzQ4/mqdefault)
