YoVDO

Unleashing the Power of Type-Level Programming in Scala

Offered By: NashKnolX via YouTube

Tags

Scala Courses Functional Programming Courses Type System Courses Metaprogramming Courses Dependent Types Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
Dive deep into the world of type-level programming in Scala during this 37-minute webinar. Explore advanced techniques for powerful compile-time computations and fine-grained control over types. Discover practical applications, benefits, and use cases of type-level programming to enhance your Scala development skills.

Syllabus

Unleashing the Power of Type-Level Programming in Scala


Taught by

NashKnolX

Related Courses

Introduction to programming with dependent types in Scala
Stepik On Voevodsky's Univalence Principle - André Joyal
Institute for Advanced Study via YouTube Univalent Foundations and the Equivalence Principle - Benedikt Ahrens
Institute for Advanced Study via YouTube A Little Taste of Dependent Types
Strange Loop Conference via YouTube Dependent Types in Haskell
Strange Loop Conference via YouTube